Some more work...

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

diff --git a/helm/ocaml/cic_acic/Makefile b/helm/ocaml/cic_acic/Makefile
index a7f1e19cfb557fa7739c05419e40a9f178296fba..2669afb11a7666a58b76a9b18dfbbb1f675444ca 100644 (file)
--- a/helm/ocaml/cic_acic/Makefile
+++ b/helm/ocaml/cic_acic/Makefile
@@ -9,4 +9,5 @@ INTERFACE_FILES =               \
        $(NULL)
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 
+include ../../Makefile.defs
 include ../Makefile.common