we start a kernel for the version "basic with reverse indexes and global

[helm.git] / helm / software / lambda-delta / Makefile

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index 50f1a83b69a100c7c8ca14138cece736e1f93f23..e7aa0ae764bd6c04bbe33ff0cf859fda4658934e 100644 (file)
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -1,6 +1,6 @@
 MAIN = helena
 
-DIRECTORIES = lib automath toplevel
+DIRECTORIES = lib automath basic_rg toplevel
 
 REQUIRES = unix