X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FMakefile;h=5b2b2fa40e0f0b5776abb2572b03b98c854bd733;hb=139f62a4d0444cde883db8803f6b62b3c9d12bcd;hp=c12b0fb43fc2328504fc16b1d0a15cdb13515ea9;hpb=1276d3c7b85f4edc049a5d68a6120816fe64c806;p=helm.git diff --git a/helm/matita/contribs/LAMBDA-TYPES/Makefile b/helm/matita/contribs/LAMBDA-TYPES/Makefile index c12b0fb43..5b2b2fa40 100644 --- a/helm/matita/contribs/LAMBDA-TYPES/Makefile +++ b/helm/matita/contribs/LAMBDA-TYPES/Makefile @@ -1,6 +1,6 @@ SRC=$(shell find . -name "*.ma" -a -type f) -MATITA_FLAGS = +MATITA_FLAGS = -I ../.. NODB=false ifeq ($(NODB),true) MATITA_FLAGS += -nodb @@ -32,16 +32,19 @@ verbose: %.opt: $(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%) -clean: +clean_: + $(H)rm -f __*not_for_matita + +clean: clean_ $(H)$(MATITACLEAN) $(SRC) -cleanall: +cleanall: clean_ $(H)rm -f $(SRC:%.ma=%.moo) - $(MATITACLEAN) all + $(H)$(MATITACLEAN) all depend: - rm -f $(DEPEND_NAME) - $(MAKE) $(DEPEND_NAME) + $(H)rm -f $(DEPEND_NAME) + $(H)$(MAKE) $(DEPEND_NAME) .PHONY: depend %.moo: