-SRC=\
- bool.ma\
- compare.ma\
- equality.ma\
- logic.ma\
- nat.ma \
- Z.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)