X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flegacy%2FMakefile;h=9dd21dd3b1b06e9d060edbb4f5d22903e0b8121e;hb=ac93dc5cf57cb28bfb843baf96f3f9e7e6e0318a;hp=cce033fc015504202a5431ad04b60426d5431dbd;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git

diff --git a/helm/software/matita/legacy/Makefile b/helm/software/matita/legacy/Makefile
index cce033fc0..9dd21dd3b 100644
--- 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: