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

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

diff --git a/helm/ocaml/whelp/Makefile b/helm/ocaml/whelp/Makefile
index f43c77fa907824d9dc83df224733c6775e9fb48e..6d8d3958f938998b1614598e41c63e4130eb0b09 100644 (file)
--- a/helm/ocaml/whelp/Makefile
+++ b/helm/ocaml/whelp/Makefile
@@ -7,4 +7,5 @@ INTERFACE_FILES =       \
 
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 
+include ../../Makefile.defs
 include ../Makefile.common