BIN_DIR = /usr/local/bin
TEST_REQUIRES = \
+ helm-registry \
helm-mathql_interpreter \
helm-mathql_generator \
helm-tactics \
gdome2-xslt \
hbugs-client
PREDICATES = "gnome,init,glade"
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
+OCAMLOPTIONS = \
+ -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o -thread
OCAMLFIND = ocamlfind
OCAMLDEBUGOPTIONS = -g
OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS)
termViewer.mli \
invokeTactics.mli \
hbugs.mli \
- chosenTermEditor.mli
+ chosenTermEditor.mli \
+ helmGtkLogger.mli
DEPOBJS = \
$(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.ml) \
$(OCAMLOPT) -thread -linkpkg -o $@ $(TOPLEVELOBJS:.cmo=.cmx)
testlibrary: $(TESTLIBOBJS) $(TEST_LIBRARIES)
- $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) -linkpkg \
+ $(OCAMLFIND) ocamlc -thread $(OCAMLDEBUGOPTIONS) -linkpkg \
-package "$(TEST_REQUIRES)" -o $@ $(TESTLIBOBJS)
testlibrary.opt: $(TESTLIBOBJS:.cmo=.cmx) $(TEST_LIBRARIES_OPT)
- $(OCAMLFIND) ocamlopt -linkpkg -package "$(TEST_REQUIRES)" -o $@ \
+ $(OCAMLFIND) ocamlopt -thread -linkpkg -package "$(TEST_REQUIRES)" -o $@ \
$(TESTLIBOBJS:.cmo=.cmx)
regtest: $(REGTESTOBJS) $(TEST_LIBRARIES)
- $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) -linkpkg \
+ $(OCAMLFIND) ocamlc -thread $(OCAMLDEBUGOPTIONS) -linkpkg \
-package "$(TEST_REQUIRES)" -o $@ $(REGTESTOBJS)
regtest.opt: $(REGTESTOBJS:.cmo=.cmx) $(TEST_LIBRARIES_OPT)
- $(OCAMLFIND) ocamlopt -linkpkg -package "$(TEST_REQUIRES)" -o $@ \
+ $(OCAMLFIND) ocamlopt -thread -linkpkg -package "$(TEST_REQUIRES)" -o $@ \
$(REGTESTOBJS:.cmo=.cmx)
.SUFFIXES: .ml .mli .cmo .cmi .cmx