X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FBase-1%2FMakefile;h=a57a7281eb33a855baac39626b3332c395559f9b;hb=474586cb3917d3961bbf1e8b818b83073dc510f2;hp=7fd5e9ccbb02597ea0bd2b010c0f98dd5ca69450;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Base-1/Makefile
index 7fd5e9ccb..a57a7281e 100644
--- 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