From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 26 Feb 2008 17:20:47 +0000 (+0000)
Subject: added MATITAOPTIONS -onepass as for LAMBDA-TYPES
X-Git-Tag: make_still_working~5575
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d933d601661140b5a555cd962e3c5224047683f4;p=helm.git

added MATITAOPTIONS -onepass as for LAMBDA-TYPES
---

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: