added MATITAOPTIONS -onepass as for LAMBDA-TYPES

diff --git a/helm/software/matita/legacy/Makefile b/helm/software/matita/legacy/Makefile
index cce033fc015504202a5431ad04b60426d5431dbd..9dd21dd3b1b06e9d060edbb4f5d22903e0b8121e 100644 (file)
--- a/helm/software/matita/legacy/Makefile
+++ b/helm/software/matita/legacy/Makefile
@@ -1,13 +1,14 @@
 DIR=$(shell basename $$PWD)
+MATITAOPTIONS=-onepass
 
 $(DIR) all:
-       ../matitac
+       ../matitac $(MATITAOPTIONS)
 $(DIR).opt opt all.opt:
-       ../matitac.opt
+       ../matitac.opt $(MATITAOPTIONS)
 clean:
-       ../matitaclean
+       ../matitaclean $(MATITAOPTIONS)
 clean.opt:
-       ../matitaclean.opt
+       ../matitaclean.opt $(MATITAOPTIONS)
 depend:
        ../matitadep
 depend.opt: