From d933d601661140b5a555cd962e3c5224047683f4 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 26 Feb 2008 17:20:47 +0000 Subject: [PATCH] added MATITAOPTIONS -onepass as for LAMBDA-TYPES --- helm/software/matita/legacy/Makefile | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) 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: -- 2.39.2