REQUIRES = lablgtkmathview helm-cic_textual_parser helm-tex_cic_textual_parser \
helm-cic_proof_checking helm-xml gdome2-xslt helm-cic_unification \
helm-mathql helm-mathql_interpreter helm-mathql_generator \
- helm-tactics threads hbugs-client mathml-editor
+ helm-tactics threads hbugs-client mathml-editor \
+ helm-cic_transformations
PREDICATES = "gnome,init,glade"
OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
OCAMLFIND = ocamlfind
LIBRARIES = $(shell ocamlfind query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
LIBRARIES_OPT = $(shell ocamlfind query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
-all: gTopLevel
-opt: gTopLevel.opt
+all: styles gTopLevel
+opt: styles gTopLevel.opt
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 \
+ proofEngine.ml proofEngine.mli eta_fixing.ml eta_fixing.mli \
+ content2cic.ml content2cic.mli logicalOperations.ml \
+ logicalOperations.mli disambiguate.ml disambiguate.mli termEditor.ml \
+ termEditor.mli texTermEditor.ml texTermEditor.mli xmlDiff.ml \
+ xmlDiff.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
+ eta_fixing.cmo content2cic.cmo proofEngine.cmo logicalOperations.cmo \
+ disambiguate.cmo termEditor.cmo texTermEditor.cmo xmlDiff.cmo \
+ termViewer.cmo invokeTactics.cmo hbugs.cmo gTopLevel.cmo
+styles:
+ @echo "***********************************************************************"
+ @if [ -d stylesheets -a -d meta_stylesheets ] ; then echo -e "* stylesheets and metastylesheets found: *\\n* I will create the request hyperlinks in styles *" ; else echo -e "* stylesheets or meta_stylesheets not found: *\\n* you should check-out the two directories from the MoWGLI repository *" ; exit -1 ; fi
+ @echo "***********************************************************************"
+ mkdir styles
+ (cd styles && for i in ../stylesheets/*.xsl ; do ln -s $$i; done)
+ (cd styles && for i in ../stylesheets/generated/*.xsl ; do ln -s $$i; done)
+ (cd styles && rm rootcontent.xsl && ln -s ../rootcontent.xsl)
+
depend:
$(OCAMLDEP) $(DEPOBJS) > .depend
ifneq ($(MAKECMDGOALS), depend)
include .depend
endif
+
+
+
+
+
+
+
+