cic_unification \
whelp \
tactics \
+ tactics/paramodulation \
cic_disambiguation \
lexicon \
grafite_engine \
OCAMLPATH = @OCAMLFIND_META_DIR@
OCAMLFIND = OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH @OCAMLFIND@
-METAS = $(MODULES:%=METAS/META.helm-%) METAS/META.helm-cic_disambiguation
+METAS = $(filter-out %/paramodulation,$(MODULES:%=METAS/META.helm-%))
-all: metas $(MODULES:%=%.all)
+all: metas $(MODULES:%=%.all)
opt: metas $(MODULES:%=%.opt)
world: all opt
metas: $(METAS)
install: $(MODULES:%=%.install)
uninstall: $(MODULES:%=%.uninstall)
clean: $(MODULES:%=%.clean)
+
clean_metas:
rm -f $(METAS)
distclean: clean clean_metas