From 785462914df352765808104c4666cf11f60c1395 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 20 Feb 2003 17:22:58 +0000 Subject: [PATCH] - added dependencies on hbugs-client, threads, helm-mquery_generator - build using -thread switch --- helm/gTopLevel/Makefile | 25 ++++++++++++------------- 1 file changed, 12 insertions(+), 13 deletions(-) diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile index 7822b1ace..6c27ed3e6 100644 --- a/helm/gTopLevel/Makefile +++ b/helm/gTopLevel/Makefile @@ -1,12 +1,12 @@ BIN_DIR = /usr/local/bin REQUIRES = lablgtkmathview helm-cic_textual_parser helm-cic_proof_checking \ helm-xml gdome2-xslt helm-cic_unification helm-tactics helm-mathql \ - helm-mathql_interpreter + helm-mathql_interpreter helm-mquery_generator threads hbugs-client PREDICATES = "gnome,init,glade" OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o OCAMLFIND = ocamlfind -OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS) -OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS) +OCAMLC = $(OCAMLFIND) ocamlc -thread $(OCAMLOPTIONS) +OCAMLOPT = $(OCAMLFIND) ocamlopt -thread $(OCAMLOPTIONS) OCAMLDEP = ocamldep -pp camlp4o LIBRARIES = $(shell ocamlfind query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES)) @@ -19,18 +19,17 @@ DEPOBJS = \ xml2Gdome.ml xml2Gdome.mli proofEngine.ml proofEngine.mli \ doubleTypeInference.ml doubleTypeInference.mli cic2acic.ml cic2acic.mli\ cic2Xml.ml cic2Xml.mli logicalOperations.ml logicalOperations.mli \ - sequentPp.ml sequentPp.mli mQueryGenerator.mli mQueryLevels.ml \ - mQueryLevels2.mli mQueryLevels2.ml mQueryGenerator.ml misc.ml misc.mli \ - disambiguate.ml disambiguate.mli termEditor.ml termEditor.mli \ - applyStylesheets.ml applyStylesheets.mli termViewer.ml \ - termViewer.mli invokeTactics.ml invokeTactics.mli gTopLevel.ml + sequentPp.ml sequentPp.mli misc.ml misc.mli \ + disambiguate.ml disambiguate.mli termEditor.ml termEditor.mli \ + applyStylesheets.ml applyStylesheets.mli termViewer.ml \ + termViewer.mli invokeTactics.ml invokeTactics.mli \ + hbugs.ml hbugs.mli gTopLevel.ml TOPLEVELOBJS = \ - xml2Gdome.cmo proofEngine.cmo doubleTypeInference.cmo cic2acic.cmo \ - cic2Xml.cmo logicalOperations.cmo sequentPp.cmo mQueryLevels.cmo \ - mQueryLevels2.cmo mQueryGenerator.cmo misc.cmo disambiguate.cmo \ - termEditor.cmo applyStylesheets.cmo termViewer.cmo invokeTactics.cmo \ - gTopLevel.cmo + xml2Gdome.cmo doubleTypeInference.cmo cic2acic.cmo cic2Xml.cmo \ + proofEngine.cmo logicalOperations.cmo sequentPp.cmo misc.cmo \ + disambiguate.cmo termEditor.cmo applyStylesheets.cmo termViewer.cmo \ + invokeTactics.cmo hbugs.cmo gTopLevel.cmo depend: $(OCAMLDEP) $(DEPOBJS) > .depend -- 2.39.2