no more multiple configure/Makefile, just one for both ocaml/ and matita/

[helm.git] / helm / ocaml / grafite / Makefile

diff --git a/helm/ocaml/grafite/Makefile b/helm/ocaml/grafite/Makefile
index 182cd456171cef5b2225ce19cdef45dd6c9f8f39..6eb3e7a783806914c5339b3cc1eafdb815a47e79 100644 (file)
--- a/helm/ocaml/grafite/Makefile
+++ b/helm/ocaml/grafite/Makefile
@@ -10,4 +10,5 @@ IMPLEMENTATION_FILES =                \
        $(INTERFACE_FILES:%.mli=%.ml)
 
 
+include ../../Makefile.defs
 include ../Makefile.common