now we take the NUri module from the helm-ng_kernel packeage

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

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index 6a0724a871b0cd77719f8b32c59e22ecb5364432..17ed69d21720b40cb4ed97ee81d78df71518ac29 100644 (file)
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -1,10 +1,10 @@
 MAIN = helena
 
-REQUIRES = unix str
+REQUIRES = unix str helm-ng_kernel
 
-KEEP = README automath/*.aut
+KEEP = README
 
-CLEAN = etc/log.txt
+CLEAN = etc/log.txt etc/profile.txt
 
 TAGS = test-si test-si-fast hal xml-si-crg xml-si profile