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

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

diff --git a/helm/ocaml/lexicon/Makefile b/helm/ocaml/lexicon/Makefile
index 0e9c09526454ab75b0185eff257272f81e752ef1..b8582bacac18d5103e3130f09a6cd556d5199440 100644 (file)
--- a/helm/ocaml/lexicon/Makefile
+++ b/helm/ocaml/lexicon/Makefile
@@ -14,4 +14,5 @@ IMPLEMENTATION_FILES =                \
        $(INTERFACE_FILES:%.mli=%.ml)
 
 
+include ../../Makefile.defs
 include ../Makefile.common