DIR=$(shell basename $$PWD)
-MMAS = $(shell find Legacy-2 -name "*.mma") # Base-2
+MMAS = $(shell find Legacy-2 -name "*.mma")
+# Base-2
MAS = $(MMAS:%.mma=%.ma)
-XMAS = Legacy-2/theory.ma # Base-2/theory.ma LambdaDelta-2/theory.ma
+XMAS = Legacy-2/theory.ma Base-2/theory.ma LambdaDelta-2/theory.ma
$(DIR) all: depends
$(H)$(MAKE) H=$(H) --no-print-directory build
depend:
@echo matitadep
$(H)$(BIN)matitadep $(foreach FILE,$(XMAS),-exclude $(FILE))
- $(H)cat Legacy-2/depends >> depends # Base-2/depends
+ $(H)cat Legacy-2/depends >> depends
+# Base-2/depends
depend.opt:
@echo matitadep.opt
$(H)$(BIN)matitadep.opt $(foreach FILE,$(XMAS),-exclude $(FILE))
- $(H)cat Legacy-2/depends >> depends # Base-2/depends
+ $(H)cat Legacy-2/depends >> depends
+# Base-2/depends
depends: depend.opt