INTERFACE_FILES = \
utils.mli \
- inference.mli
+ inference.mli
DEPOBJS = \
$(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.ml) \
+ trie.ml \
path_indexing.ml \
- indexing.ml \
- saturation.ml \
discrimination_tree.ml \
- test_indexing.ml
+ test_indexing.ml \
+ indexing.ml \
+ saturation.ml
TOPLEVELOBJS = $(INTERFACE_FILES:%.mli=%.cmo) \
+ trie.cmo \
path_indexing.cmo \
discrimination_tree.cmo \
indexing.cmo \
saturation.cmo
TESTOBJS = $(INTERFACE_FILES:%.mli=%.cmo) \
+ trie.cmo \
path_indexing.cmo \
discrimination_tree.cmo \
test_indexing.cmo