PACKAGE = paramodulation
-REQUIRES = helm-tactics helm-cic_disambiguation
+REQUIRES = \
+ helm-registry \
+ helm-cic_transformations \
+ helm-tactics \
+ helm-cic_disambiguation \
+ mysql
INTERFACE_FILES = \
utils.mli \
# test_indexing.ml
-include ../Makefile.common
+include ../helm/ocaml/Makefile.common
paramodulation.cmo: $(IMPLEMENTATION_FILES:%.ml=%.cmo)