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

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

diff --git a/helm/ocaml/registry/Makefile b/helm/ocaml/registry/Makefile
index 4d3e0a52c0dca2fd70cea00613258a4a320b39a9..bb9715ab4988ed39dc83d5dea5e12022ce4d068e 100644 (file)
--- a/helm/ocaml/registry/Makefile
+++ b/helm/ocaml/registry/Makefile
@@ -3,5 +3,6 @@ PACKAGE = registry
 INTERFACE_FILES = helm_registry.mli
 IMPLEMENTATION_FILES = helm_registry.ml
 
+include ../../Makefile.defs
 include ../Makefile.common