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

diff --git a/helm/ocaml/xmldiff/Makefile b/helm/ocaml/xmldiff/Makefile
index 62492069e..afffaeefb 100644
--- a/helm/ocaml/xmldiff/Makefile
+++ b/helm/ocaml/xmldiff/Makefile
@@ -6,4 +6,5 @@ IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
 EXTRA_OBJECTS_TO_CLEAN =
 
+include ../../Makefile.defs
 include ../Makefile.common