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

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

diff --git a/helm/ocaml/hmysql/Makefile b/helm/ocaml/hmysql/Makefile
index 2ae1d4e59b619e524126a84c851c16dfb6a65650..8a83eb23e88600f770dab5fde6b82d353edd43e0 100644 (file)
--- a/helm/ocaml/hmysql/Makefile
+++ b/helm/ocaml/hmysql/Makefile
@@ -8,4 +8,5 @@ IMPLEMENTATION_FILES = \
 EXTRA_OBJECTS_TO_INSTALL =
 EXTRA_OBJECTS_TO_CLEAN =
 
+include ../../Makefile.defs
 include ../Makefile.common