+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
+
+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)
+