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

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

diff --git a/helm/ocaml/library/Makefile b/helm/ocaml/library/Makefile
index 74a61aed50d7355192e463e526f66b1a17d13aac..4f0ca3eb8dbfac378e5522821046e472c3e16179 100644 (file)
--- a/helm/ocaml/library/Makefile
+++ b/helm/ocaml/library/Makefile
@@ -16,4 +16,5 @@ INTERFACE_FILES = \
 IMPLEMENTATION_FILES = \
        $(INTERFACE_FILES:%.mli=%.ml)
 
+include ../../Makefile.defs
 include ../Makefile.common