]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/Makefile
Syntax of a declarative rewritinstep changed.
[helm.git] / matita / Makefile
index c51e7b7b653e6f6e2e936c77077d57641a156c65..ab03a892f002094e57d0169af7a0dfe932ef08a9 100644 (file)
@@ -203,9 +203,12 @@ distclean: clean
 TEST_DIRS =                            \
        library                         \
        tests                           \
+       dama                            \
+       contribs/CoRN                   \
+       contribs/RELATIONAL             \
+       contribs/LAMBDA-TYPES           \
+       contribs/PREDICATIVE-TOPOLOGY   \
        $(NULL)
-#      contribs/LAMBDA-TYPES           \
-#      contribs/PREDICATIVE-TOPOLOGY   \
 
 .PHONY: tests tests.opt cleantests cleantests.opt
 tests: $(foreach d,$(TEST_DIRS),$(d)-test)
@@ -405,6 +408,11 @@ endif
 $(CMOS): $(LIB_DEPS)
 $(CMOS:%.cmo=%.cmx): $(LIBX_DEPS)
 
+deps.ps: deps.dot
+       dot -Tps -o $@ $<
+deps.dot: .depend
+       ./dep2dot.rb < $< | tred > $@
+
 ifeq ($(MAKECMDGOALS),all)
    $(CMOS:%.cmo=%.cmi): $(LIB_DEPS)
 endif