OCAML_ROOT = @OCAML_ROOT@
BIN_DIR = @BIN_DIR@
LABLGTK_DIR = @LABLGTK_LIB_DIR@
LABLGTKMATHVIEW_DIR = @LABLGTKMATHVIEW_LIB_DIR@
MINIDOM_DIR = @MLMINIDOM_LIB_DIR@

PXP_DIR = $(OCAML_ROOT)/site-lib/pxp
NETSTRING_DIR = $(OCAML_ROOT)/site-lib/netstring

#OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I mlmathview
#OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I mlgtk_devel -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I mlmathview
OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) 
OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) 
OCAMLDEP = ocamldep

all: experiment reduction fix_params mmlinterface
opt: experiment.opt reduction.opt fix_params.opt mmlinterface.opt

PXPLIBS = netstring.cma netmappings_iso.cmo netmappings_other.cmo \
          pxp_types.cma \
          pxp_lex_iso88591.cma pxp_lex_utf8.cma pxp_engine.cma \
          pxp_utf8.cmo

PXPLIBSOPT = netstring.cmxa netmappings_iso.cmx netmappings_other.cmx \
             pxp_types.cmxa \
             pxp_lex_iso88591.cmxa pxp_lex_utf8.cmxa pxp_engine.cmxa \
             pxp_utf8.cmx


DEPOBJS = experiment.ml cicCache.ml cicCache.mli cicPp.ml cicPp.mli \
          cicParser.ml cicParser.mli cicParser2.ml cicParser2.mli \
          cicParser3.ml cicParser3.mli cic.ml getter.ml getter.mli \
          gtkInterface.ml cicReduction.ml cicReduction.mli cicTypeChecker.ml \
          cicTypeChecker.mli reduction.ml tgtkInterface.ml theory.ml \
          theoryParser.ml theoryParser2.ml theoryPp.ml theoryTypeChecker.ml \
          cicCooking.ml cicCooking.mli cicFindParameters.ml theoryCache.ml \
          fix_params.ml cic2Xml.ml xml.ml uriManager.ml uriManager.mli \
          cicSubstitution.ml cicSubstitution.mli \
          mmlinterface.ml configuration.ml styleConfiguration.ml \
          xsltProcessor.ml deannotate.ml cicXPath.ml pxpUriResolver.ml \
          annotationParser.ml annotationParser2.ml annotation2Xml.ml \
          cicAnnotationHinter.ml

MMLINTERFACEOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
                   pxpUriResolver.cmo \
                   cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
                   cicSubstitution.cmo annotationParser2.cmo \
                   annotationParser.cmo cicCache.cmo cicCooking.cmo cicPp.cmo \
                   cicReduction.cmo cicTypeChecker.cmo \
                   xml.cmo \
                   xsltProcessor.cmo cic2Xml.cmo annotation2Xml.cmo \
                   cicXPath.cmo theory.cmo theoryParser2.cmo theoryParser.cmo \
                   theoryCache.cmo theoryTypeChecker.cmo \
                   cicAnnotationHinter.cmo mmlinterface.cmo

MMLINTERFACEOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.cmx \
                      pxpUriResolver.cmx \
                      cicParser3.cmx cicParser2.cmx cicParser.cmx \
                      deannotate.cmx cicSubstitution.cmx annotationParser2.cmx \
                      annotationParser.cmx cicCache.cmx \
                      cicCooking.cmx cicPp.cmx cicReduction.cmx \
                      cicTypeChecker.cmx \
                      xml.cmx xsltProcessor.cmx \
                      cic2Xml.cmx annotation2Xml.cmx cicXPath.cmx \
                      theory.cmx theoryParser2.cmx theoryParser.cmx \
                      theoryCache.cmx theoryTypeChecker.cmx \
                      cicAnnotationHinter.cmx mmlinterface.cmx

FIX_PARAMSOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
                 pxpUriResolver.cmo \
                 cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
                 cicSubstitution.cmo annotationParser2.cmo \
                 annotationParser.cmo  cicCache.cmo cicPp.cmo xml.cmo \
                 cic2Xml.cmo cicFindParameters.cmo fix_params.cmo

FIX_PARAMSOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.cmx \
                    pxpUriResolver.cmx \
                    cicParser3.cmx cicParser2.cmx cicParser.cmx deannotate.cmx \
                    cicSubstitution.cmx annotationParser2.cmx \
                    annotationParser.cmx cicCache.cmx cicPp.cmx xml.cmx \
                    cic2Xml.cmx cicFindParameters.cmx fix_params.cmx

REDUCTIONOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
                pxpUriResolver.cmo \
                cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
                cicSubstitution.cmo annotationParser2.cmo annotationParser.cmo \
                cicCache.cmo cicPp.cmo cicCooking.cmo \
                cicReduction.cmo cicTypeChecker.cmo reduction.cmo

REDUCTIONOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.cmx \
                   pxpUriResolver.cmx \
                   cicParser3.cmx cicParser2.cmx cicParser.cmx deannotate.cmx \
                   cicSubstitution.cmx annotationParser2.cmx \
                   annotationParser.cmx cicCache.cmx cicPp.cmx cicCooking.cmx \
                   cicReduction.cmx cicTypeChecker.cmx reduction.cmx

EXPERIMENTOBJS = configuration.cmo uriManager.cmo getter.cmo cic.cmo \
                 pxpUriResolver.cmo \
                 cicParser3.cmo cicParser2.cmo cicParser.cmo deannotate.cmo \
                 cicSubstitution.cmo annotationParser2.cmo \
                 annotationParser.cmo cicCache.cmo cicPp.cmo experiment.cmo

EXPERIMENTOPTOBJS = configuration.cmx uriManager.cmx getter.cmx cic.cmx \
                    pxpUriResolver.cmx \
                    cicParser3.cmx cicParser2.cmx cicParser.cmx deannotate.cmx \
                    cicSubstitution.cmx annotationParser2.cmx \
                    annotationParser.cmx cicCache.cmx cicPp.cmx experiment.cmx

depend:
	$(OCAMLDEP) $(DEPOBJS) > .depend

mmlinterface: $(MMLINTERFACEOBJS)
	$(OCAMLC) -custom -o mmlinterface str.cma unix.cma $(PXPLIBS) dbm.cma \
                  lablgtk.cma gtkInit.cmo \
                  $(MINIDOM_DIR)/minidom.cmo \
                  $(MINIDOM_DIR)/ominidom.cmo \
                  $(LABLGTKMATHVIEW_DIR)/lablgtkmathview.cma \
                  $(MMLINTERFACEOBJS) \
                  -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
                  -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
                  -lunix `gtkmathview-config --libs` \
                  $(LABLGTKMATHVIEW_DIR)/ml_gtk_mathview.o \
                  $(MINIDOM_DIR)/ml_minidom.o" \
                  -cclib -lmldbm -cclib -lndbm

mmlinterface.opt: $(MMLINTERFACEOPTOBJS)
	$(OCAMLOPT) -o mmlinterface.opt str.cmxa $(PXPLIBSOPT) unix.cmxa \
                    dbm.cmxa lablgtk.cmxa gtkInit.cmx \
                    $(MINIDOM_DIR)/minidom.cmx \
                    $(MINIDOM_DIR)/ominidom.cmx \
                    $(LABLGTKMATHVIEW_DIR)/lablgtkmathview.cmxa \
                    $(MMLINTERFACEOPTOBJS) \
                    -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
                    -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
                    -lunix `gtkmathview-config --libs` \
                    $(LABLGTKMATHVIEW_DIR)/ml_gtk_mathview.o \
                    $(MINIDOM_DIR)/ml_minidom.o" \
                    -cclib -lmldbm -cclib -lndbm

fix_params: $(FIX_PARAMSOBJS)
	$(OCAMLC) -custom -o fix_params str.cma $(PXPLIBS) dbm.cma \
                  $(FIX_PARAMSOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm

fix_params.opt: $(FIX_PARAMSOPTOBJS)
	$(OCAMLOPT) -o fix_params.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
                    $(FIX_PARAMSOPTOBJS) -cclib -lstr -cclib -lmldbm \
                    -cclib -lndbm

reduction: $(REDUCTIONOBJS)
	$(OCAMLC) -custom -o reduction str.cma $(PXPLIBS) dbm.cma \
                  $(REDUCTIONOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm

reduction.opt: $(REDUCTIONOPTOBJS)
	$(OCAMLOPT) -o reduction.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
                    $(REDUCTIONOPTOBJS) -cclib -lstr -cclib -lmldbm \
                    -cclib -lndbm

experiment: $(EXPERIMENTOBJS)
	$(OCAMLC) -custom -o experiment str.cma $(PXPLIBS) dbm.cma \
                  $(EXPERIMENTOBJS) -cclib -lstr -cclib -lmldbm -cclib -lndbm

experiment.opt: $(EXPERIMENTOPTOBJS)
	$(OCAMLOPT) -o experiment.opt str.cmxa $(PXPLIBSOPT) dbm.cmxa \
                    $(EXPERIMENTOPTOBJS) -cclib -lstr -cclib -lmldbm \
                    -cclib -lndbm

.SUFFIXES: .ml .mli .cmo .cmi .cmx
.ml.cmo:
	$(OCAMLC) -c $<
.mli.cmi:
	$(OCAMLC) -c $<
.ml.cmx:
	$(OCAMLOPT) -c $<

clean:
	rm -f *.cm[iox] *.o experiment experiment.opt reduction \
           reduction.opt fix_params fix_params.opt mmlinterface \
           mmlinterface.opt mmlinterface2 mmlinterface2.opt

install:
	cp mmlinterface mmlinterface.opt helm_wget $(BIN_DIR)

distclean: clean
	rm -f Makefile configuration.ml helm_wget configure config.log \
         config.cache config.status

dist:   clean
	rm -rf ../@PACKAGE@-@VERSION@
	mkdir ../@PACKAGE@-@VERSION@
	cp -r * .depend ../@PACKAGE@-@VERSION@
	(cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)

.PHONY: install distclean clean

include .depend