baseuris removed from files

[helm.git] / helm / software / matita / contribs / LAMBDA-TYPES / Base-1 / Makefile

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Makefile
index 7fd5e9ccbb02597ea0bd2b010c0f98dd5ca69450..a57a7281eb33a855baac39626b3332c395559f9b 100644 (file)
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Makefile
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Makefile
@@ -1,14 +1,15 @@
 DIR=$(shell basename $$PWD)
+MATITAOPTIONS=-onepass
 
 $(DIR) all:
-       ../../../matitac
+       ../../../matitac $(MATITAOPTIONS)
 $(DIR).opt opt all.opt:
-       ../../../matitac.opt
+       ../../../matitac.opt $(MATITAOPTIONS)
 clean:
        ../../../matitaclean
 clean.opt:
        ../../../matitaclean.opt
 depend:
-       ../matitadep
+       ../../../matitadep
 depend.opt:
-       ../matitadep.opt
+       ../../../matitadep.opt