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

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

diff --git a/helm/ocaml/hbugs/Makefile b/helm/ocaml/hbugs/Makefile
index c38ac3e92de5a0fdf5d028bcda02466e7e8203e3..4170d8081cf24651a43543b1a3d92ae7192e002e 100644 (file)
--- a/helm/ocaml/hbugs/Makefile
+++ b/helm/ocaml/hbugs/Makefile
@@ -24,6 +24,7 @@ INTERFACE_FILES = \
        hbugs_types.mli \
        $(patsubst %.ml, %.mli, $(IMPLEMENTATION_FILES))
 
+include ../../Makefile.defs
 include ../Makefile.common
 include .tutors.ml
 include .generated_tutors.ml