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