From 19c1c93a125796c42d975ffccdf6dcb76877701f Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 27 Aug 2006 10:34:09 +0000 Subject: [PATCH] - makefile added --- matita/contribs/LAMBDA-TYPES/Level-1/makefile | 33 +++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 matita/contribs/LAMBDA-TYPES/Level-1/makefile diff --git a/matita/contribs/LAMBDA-TYPES/Level-1/makefile b/matita/contribs/LAMBDA-TYPES/Level-1/makefile new file mode 100644 index 000000000..a9ac2184e --- /dev/null +++ b/matita/contribs/LAMBDA-TYPES/Level-1/makefile @@ -0,0 +1,33 @@ +H=@ + +RT_BASEDIR=/home/fguidi/svn/software/matita/ +OPTIONS=-bench +MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS) +CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS) +MMAKEO=$(RT_BASEDIR)matitamake.opt $(OPTIONS) +CLEANO=$(RT_BASEDIR)matitaclean.opt $(OPTIONS) + +devel:=$(shell basename `pwd`) + +all: preall + $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) build $(devel) +clean: preall + $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) clean $(devel) +cleanall: preall + $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEAN) all + +all.opt opt: preall + $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) build $(devel) +clean.opt: preall + $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) clean $(devel) +cleanall.opt: preall + $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEANO) all + +%.mo: preall + $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) $@ +%.mo.opt: preall + $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $@ + +preall: + $(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) init $(devel) + -- 2.39.2