cic_omdoc \
metadata \
tactics \
- cic_transformations \
cic_notation \
- cic_textual_parser2 \
+ cic_transformations \
+ cic_disambiguation \
+ paramodulation \
$(NULL)
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
-OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@
+OCAMLPATH = @OCAMLFIND_META_DIR@
-METAS = $(MODULES:%=METAS/META.helm-%)
-CWD := $(shell pwd)
-OCAMLPATH = $(CWD)/METAS/
+METAS = $(MODULES:%=METAS/META.helm-%) METAS/META.helm-cic_disambiguation
all: metas $(MODULES:%=%.all)
opt: metas $(MODULES:%=%.opt)
cd $(@:%.uninstall=%) && make uninstall
rm -f $(OCAMLFIND_META_DIR)/$(@:%.uninstall=META.helm-%)
METAS/META.helm-%: METAS/meta.helm-%.src
- cp $< $@ && echo "directory=\"$(CWD)/$*\"" >> $@
+ cp $< $@ && echo "directory=\"$(shell pwd)/$*\"" >> $@
.PHONY: .dep.dot
.dep.dot: