X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2FMakefile;h=ee1f6bbe99895fcd676978af3d71a8ce5acfedf2;hb=50cd60bf5151b7c118ec4d592a374757bdf3158f;hp=33d4589296c18262a2292fa6bae2f4c395ebed52;hpb=1276d3c7b85f4edc049a5d68a6120816fe64c806;p=helm.git diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile index 33d458929..ee1f6bbe9 100644 --- a/helm/matita/tests/Makefile +++ b/helm/matita/tests/Makefile @@ -1,6 +1,6 @@ SRC=$(wildcard *.ma) -MATITA_FLAGS = +MATITA_FLAGS = -I .. NODB=false ifeq ($(NODB),true) MATITA_FLAGS += -nodb @@ -32,10 +32,13 @@ verbose: %.opt: $(H)$(MAKE) MATITAC='$(MATITACOPT)' MATITACLEAN='$(MATITACLEANOPT)' MATITADEP='$(MATITADEPOPT)' $(@:%.opt=%) -clean: +clean_: + rm -r __*not_for_matita + +clean: clean_ $(H)$(MATITACLEAN) $(SRC) -cleanall: +cleanall: clean_ $(H)rm -f $(SRC:%.ma=%.moo) $(MATITACLEAN) all