1 BIN_DIR = /usr/local/bin
6 helm-cic_transformations \
7 helm-cic_textual_parser2
9 REQUIRES = $(TEST_REQUIRES)
12 -package "$(REQUIRES)" -predicates "$(PREDICATES)" #-pp camlp4o -thread
14 OCAMLDEBUGOPTIONS = -g
15 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS)
16 OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
17 OCAMLDEP = $(OCAMLFIND) ocamldep #-pp camlp4o
18 OCAMLDEBUG = wowcamldebug
20 LIBRARIES = $(shell $(OCAMLFIND) query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
21 LIBRARIES_OPT = $(shell $(OCAMLFIND) query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
22 TEST_LIBRARIES = $(shell $(OCAMLFIND) query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(TEST_REQUIRES))
23 TEST_LIBRARIES_OPT = $(shell $(OCAMLFIND) query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(TEST_REQUIRES))
33 $(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.ml) \
35 discrimination_tree.ml \
40 TOPLEVELOBJS = $(INTERFACE_FILES:%.mli=%.cmo) \
43 discrimination_tree.cmo \
46 TESTOBJS = $(INTERFACE_FILES:%.mli=%.cmo) \
49 discrimination_tree.cmo \
51 # REGTESTOBJS = $(TESTOBJS) regtest.cmo
52 # TESTLIBOBJS = $(TESTOBJS) testlibrary.cmo
54 $(INTERFACE_FILES:%.mli=%.cmo): $(LIBRARIES)
55 $(INTERFACE_FILES:%.mli=%.cmx): $(LIBRARIES_OPT)
58 $(OCAMLDEP) $(DEPOBJS) > .depend
60 saturation: $(TOPLEVELOBJS) $(LIBRARIES)
61 $(OCAMLC) -thread -linkpkg -o $@ $(TOPLEVELOBJS)
62 saturation.opt: $(TOPLEVELOBJS:.cmo=.cmx) $(LIBRARIES_OPT)
63 $(OCAMLOPT) -thread -linkpkg -o $@ $(TOPLEVELOBJS:.cmo=.cmx)
65 test_indexing: $(TESTOBJS) $(TEST_LIBRARIES)
66 $(OCAMLC) -linkpkg -o $@ $(TESTOBJS)
68 .SUFFIXES: .ml .mli .cmo .cmi .cmx
76 $(TOPLEVELOBJS): $(LIBRARIES)
77 $(TOPLEVELOBJS:.cmo=.cmx)): $(LIBRARIES_OPT)
80 rm -f *.cm[iox] *.o saturation{,.opt} regtest{,.opt} testlibrary{,.opt}
82 ifneq ($(MAKECMDGOALS), depend)