-SRC=\
- apply.ma fguidi.ma letrec.ma replace.ma test3.ma auto.ma first.ma\
- match.ma rewrite.ma test4.ma baseuri.ma fix_betareduction.ma\
- match_inference.ma second.ma third.ma coercions.ma fold.ma\
- mysql_escaping.ma simpl.ma comments.ma inversion.ma record.ma test2.ma
-
-MATITAC=../scripts/do_tests.sh ../matitac ../matitaclean /dev/null
-MATITACOPT=../scripts/do_tests.sh ../matitac.opt ../matitaclean.opt /dev/null
+SRC=$(wildcard *.ma)
+
+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)