- $(SILENTMAKE) build
-
-opt all.opt: depends
- $(H)$(RM) $(LOG)
- $(SILENTMAKE) build.opt
-
-%.build.opt:
- $(SILENTMAKE) $(patsubst %.mma, %.ma, $(shell find $* -name "*.mma"))
- $(H)echo $*/theory.ma `$(BIN)matitadep.opt -stdout $*/theory.ma` >> depends
-
-build: $(DIRS:%=%.build.opt)