DIR=$(shell basename $$PWD)
+MATITAOPTIONS=-onepass
$(DIR) all:
- ../../../matitac
+ ../../../matitac $(MATITAOPTIONS)
$(DIR).opt opt all.opt:
- ../../../matitac.opt
+ ../../../matitac.opt $(MATITAOPTIONS)
clean:
../../../matitaclean
clean.opt:
../../../matitaclean.opt
depend:
- ../matitadep
+ ../../../matitadep
depend.opt:
- ../matitadep.opt
+ ../../../matitadep.opt