new module "xml" devoted to xml I/O

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

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index 17ed69d21720b40cb4ed97ee81d78df71518ac29..a6fcf6c4811aa86a59db6c07dfa723d4253b0381 100644 (file)
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -1,7 +1,11 @@
 MAIN = helena
 
+SRC  = src
+
 REQUIRES = unix str helm-ng_kernel
 
+OCAMLOPTIONS = -rectypes 
+
 KEEP = README
 
 CLEAN = etc/log.txt etc/profile.txt