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

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

diff --git a/helm/ocaml/hgdome/Makefile b/helm/ocaml/hgdome/Makefile
index a7bb4dbb6a0fce5bfe06cd421845d1fa82c5b41d..9630da26a7951ecd89599cdd772e9c85a0b94185 100644 (file)
--- a/helm/ocaml/hgdome/Makefile
+++ b/helm/ocaml/hgdome/Makefile
@@ -8,4 +8,5 @@ INTERFACE_FILES =               \
 
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 
+include ../../Makefile.defs
 include ../Makefile.common