DIR=$(shell basename $$PWD)
-MMAS = $(shell find Base-2 -name "*.mma")
+MMAS = $(shell find -name "*.mma") # Base-2
MAS = $(MMAS:%.mma=%.ma)
XMAS = Base-2/theory.ma LambdaDelta-2/theory.ma
depend:
@echo matitadep
$(H)../../matitadep $(foreach FILE,$(XMAS),-exclude $(FILE))
- $(H)cat Base-2/depends >> depends
+# $(H)cat Base-2/depends >> depends
depend.opt:
@echo matitadep.opt
$(H)../../matitadep.opt $(foreach FILE,$(XMAS),-exclude $(FILE))
- $(H)cat Base-2/depends >> depends
+# $(H)cat Base-2/depends >> depends
depends: depend.opt
$(H)../../matitac.opt $(MATITAOPTIONS) -dump $@ $< 2> /dev/null
$(H)echo $@ `../../matitadep.opt -stdout $@` >> depends
-include Base-2/.depend
+#include Base-2/.depend