X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fhmysql%2FMakefile;fp=helm%2Focaml%2Fhmysql%2FMakefile;h=8a83eb23e88600f770dab5fde6b82d353edd43e0;hb=7be6aeb94aa8da17732511a4844bd108976f947f;hp=2ae1d4e59b619e524126a84c851c16dfb6a65650;hpb=23a66711f595d2ce0f42dab6a9f3e3d52bdbd109;p=helm.git

diff --git a/helm/ocaml/hmysql/Makefile b/helm/ocaml/hmysql/Makefile
index 2ae1d4e59..8a83eb23e 100644
--- 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