-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 \
- texTermEditor.ml texTermEditor.mli applyStylesheets.ml \
- applyStylesheets.mli termViewer.ml termViewer.mli invokeTactics.ml \
- invokeTactics.mli hbugs.ml hbugs.mli gTopLevel.ml
-
-TOPLEVELOBJS = \
- xml2Gdome.cmo doubleTypeInference.cmo cic2acic.cmo cic2Xml.cmo \
- proofEngine.cmo logicalOperations.cmo sequentPp.cmo \
- mQueryLevels2.cmo misc.cmo disambiguate.cmo \
- termEditor.cmo texTermEditor.cmo applyStylesheets.cmo termViewer.cmo \
- invokeTactics.cmo hbugs.cmo gTopLevel.cmo
+start:
+ $(MAKE) -C ../hbugs/ start
+stop:
+ $(MAKE) -C ../hbugs/ stop
+
+INTERFACE_FILES = \
+ proofEngine.mli logicalOperations.mli disambiguate.mli \
+ termEditor.mli texTermEditor.mli xmlDiff.mli termViewer.mli \
+ invokeTactics.mli hbugs.mli ui_logger.mli
+
+DEPOBJS = $(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.ml) gTopLevel.ml
+
+TOPLEVELOBJS = $(INTERFACE_FILES:%.mli=%.cmo) gTopLevel.cmo
+
+$(INTERFACE_FILES:%.mli=%.cmo): $(LIBRARIES)
+$(INTERFACE_FILES:%.mli=%.cmx): $(LIBRARIES_OPT)