INTERFACE_FILES = \
utils.mli \
- inference.mli
+ inference.mli\
+ equality_indexing.mli
IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) \
- trie.ml \
- path_indexing.ml \
- discrimination_tree.ml \
indexing.ml \
saturation.ml
PARAMOD_OBJS = $(IMPLEMENTATION_FILES:%.ml=%.cmo)
PARAMOD_OBJS_OPT = $(IMPLEMENTATION_FILES:%.ml=%.cmx)
-LOCALLINKOPTS = -package helm-cic_disambiguation,helm-content_pres,helm-grafite
+LOCALLINKOPTS = -package helm-cic_disambiguation,helm-content_pres,helm-grafite,helm-grafite_parser
saturate: saturate_main.ml $(PARAMOD_OBJS) $(LIBRARIES)
$(OCAMLC) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $(PARAMOD_OBJS) $<
saturate.opt: saturate_main.ml $(PARAMOD_OBJS_OPT) $(LIBRARIES)