-SRC= apply.ma auto.ma baseuri.ma coercions.ma comments.ma first.ma fguidi.ma\
- fix_betareduction.ma fold.ma inversion.ma letrec.ma match_inference.ma\
- mysql_escaping.ma record.ma replace.ma rewrite.ma second.ma simpl.ma\
- test2.ma test3.ma test4.ma third.ma
+SRC=$(wildcard *.ma)
-
-MATITAC=../scripts/do_tests.sh ../matitac ../matitaclean /dev/null
-MATITACOPT=../scripts/do_tests.sh ../matitac.opt ../matitaclean.opt /dev/null
+MATITAC=../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null
+MATITACOPT=../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null
VERBOSEMATITAC=../matitac
VERBOSEMATITACOPT=../matitac.opt
@make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" $(@:%.opt=%)
clean: $(LINKS)
- rm -f $(SRC:%.ma=%.moo)
- $(MATITACLEAN) all
+ @rm -f $(SRC:%.ma=%.moo)
+ @$(MATITACLEAN) all
depend: $(DEPEND_NAME)
@$(MATITAC) $< || $(MATITACLEAN) $<
$(DEPEND_NAME): $(SRC) $(LINKS)
- $(MATITADEP) $(SRC) > $@
+ @$(MATITADEP) $(SRC) > $@
# Let's prepare the environment
.matita:
- ln -s ../.matita .
+ @ln -s ../.matita .
matita.lang:
- ln -s ../matita.lang .
+ @ln -s ../matita.lang .
matita.conf.xml:
- ln -s ../matita.conf.xml .
+ @ln -s ../matita.conf.xml .
#done
include $(DEPEND_NAME)