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

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

diff --git a/helm/ocaml/utf8_macros/Makefile b/helm/ocaml/utf8_macros/Makefile
index 952b9f597c3fd13dca2490975c9f7a85acfc35b7..2b737627f17ef01c058e03fe2d01b4e7515a2ced 100644 (file)
--- a/helm/ocaml/utf8_macros/Makefile
+++ b/helm/ocaml/utf8_macros/Makefile
@@ -38,5 +38,6 @@ extra_clean:
 
 STATS_EXCLUDE = utf8MacroTable.ml
 
+include ../../Makefile.defs
 include ../Makefile.common