include Makefile.distrib # For development pull: tools/pull.$(EXTENSION) $(LINK) -o $@ $^ PREPRO = camlp4o -I `ocamlfind query ulex` pa_ulex.cma pr_o.cmo $(SYNTAX) -sep "\n" profile: misc/q_symbol.cmo rm -Rf prepro mkdir prepro for i in $(DIRS); do \ mkdir prepro/$$i; \ for j in $$i/*.ml $$i/*.mli; do \ if [ -f "$$j" ]; then \ echo $$j; \ $(PREPRO) $$j -o prepro/$$j; \ fi; \ done; \ done cp Makefile.distrib Makefile Makefile.conf prepro/ (cd prepro; \ touch depend; \ $(MAKE) compute_depend PROFILE=true SYNTAX_PARSER= ; \ $(MAKE) cduce PROFILE=true SYNTAX_PARSER= NATIVE=false) # Site-specific installation charme_build: rsh charme ". .env; cd IMPLEM/CDUCE; $(MAKE) webiface webpages" scp CHANGES INSTALL INSTALL.WIN32 web/www/*.html web/cduce.css cduce@iris:public_html/ scp webiface cduce@iris:cgi-bin/cduce install_web_distant: $(MAKE) webpages scp CHANGES INSTALL INSTALL.WIN32 web/www/*.html web/demo.js web/cduce.css cduce@iris.ens.fr:public_html/ SCRIPT = INCLUDES_DEB = $(INCLUDES) $(shell ocamlfind query -i-format -recursive $(PACKAGES)) DEBUGGER = ocamldebug debug: ledit $(DEBUGGER) $(INCLUDES_DEB) ./cduce $(SCRIPT) # Packaging DISTRIB = $(DIRS) cduce.spec tools depend INSTALL INSTALL.WIN32 CHANGES \ LICENSE README AUTHORS Makefile.conf.template configure configure.ml doc \ META.in cduce_mktop DISTRIB_DOC = doc.xml memento.xml tutorial.xml manual.xml tutorial manual \ xhtml.cd xhtml-categ.cd xhtml-strict.cd site.cd PACKAGE = cduce-$(VERSION) .PHONY: package package: clean rm -Rf $(PACKAGE) mkdir $(PACKAGE) cp -R $(DISTRIB) $(PACKAGE)/ cp Makefile.distrib $(PACKAGE)/Makefile mkdir -p $(PACKAGE)/web/img (cd web; cp -R $(DISTRIB_DOC) ../$(PACKAGE)/web; \ cd img; cp left.gif right.gif ../../$(PACKAGE)/web/img) (cd $(PACKAGE); \ rm -f types/IDEAS; \ for F in $(DEPEND); do headache -h ../header $$F; done) tar czf $(PACKAGE).tar.gz --exclude CVS --exclude ".#*" $(PACKAGE) rm -Rf $(PACKAGE) #cvs_snapshot: # $(MAKE) package VERSION=cvs`date +%Y%m%d` MSTONE=3 cvs_snapshot: (cd /tmp; \ rm -Rf cduce; \ cvs -z3 -d ":pserver:anonymous@cvs.cduce.org:/cvsroot" co cduce; \ tar czf cduce-cvs$(MSTONE).tar.gz cduce; \ rm -Rf cduce; \ scp cduce-cvs$(MSTONE).tar.gz cduce@iris.ens.fr:public_html/download; \ rm -f cduce-cvs$(MSTONE).tar.gz) OCAML_STDLIBDIR := $(shell ocamlc -where) .PHONY: .ocamlinit .ocamlinit: echo '(* AUTOMATICALLY GENERATED by Makefile: DO NOT EDIT! *)' > $@ echo '#load "$(OCAML_STDLIBDIR)/pcre/pcre.cma";;' >> $@ echo '#load "$(OCAML_STDLIBDIR)/unix.cma";;' >> $@ echo '#load "$(OCAML_STDLIBDIR)/netstring/netstring.cma";;' >> $@ # echo '#load "$(OCAML_STDLIBDIR)/netstring/netstring_top.cmo";;' >> $@ echo '#load "$(OCAML_STDLIBDIR)/pxp-engine/pxp_engine.cma";;' >> $@ # echo '#load "$(OCAML_STDLIBDIR)/pxp-engine/pxp_top.cmo";;' *)' >> $@ echo '#load "$(OCAML_STDLIBDIR)/pxp-lex-iso88591/pxp_lex_iso88591.cma";;' >> $@ echo '#load "$(OCAML_STDLIBDIR)/pxp-lex-iso88591/pxp_lex_link_iso88591.cmo";;' >> $@ echo '#load "$(OCAML_STDLIBDIR)/ulex/ulexing.cma";;' >> $@ echo '#load "$(OCAML_STDLIBDIR)/nums.cma";;' >> $@ # echo '#load "$(OCAML_STDLIBDIR)/num_top.cma";;' >> $@ echo '#load "$(OCAML_STDLIBDIR)/cgi/cgi.cma";;' >> $@ for o in $(VALIDATE_OBJECTS); do echo "prerr_endline \"Loading $$o ...\";;" >> $@; echo "#load \"$$o\";;" >> $@; done for d in $(DIRS); do echo "#directory \"$$d\";;" >> $@; done for p in pcre netstring pxp-engine ulex cgi; do echo "#directory \"`$(OCAMLFIND) query $$p`\";;" >> $@; done echo "prerr_endline \"All done!\"" >> $@ echo '(* vim: set ft=ocaml: *)' >> $@ CVS_DISTRIB = web CHANGES LICENSE README AUTHORS cduce dtd2cduce CVS_DOC = doc/cdo2ml.1 doc/cduce.1 doc/cduce_mktop.1 doc/cduce_validate.1 doc/dtd2cduce.1 doc/fomanual/tutorial.pdf doc/fomanual/manual.pdf cvs_snapshot_bin: clean if [[ `uname` != Linux ]]; then echo "Not a Linux box!"; exit 2; fi $(MAKE) cduce dtd2cduce NATIVE=true EXTRA_LINK_OPTS="-ccopt -static" VERSION=cvs`date +%Y%m%d` rm -Rf cduce-cvs mkdir cduce-cvs mkdir cduce-cvs/doc cp -R $(CVS_DISTRIB) cduce-cvs cp $(CVS_DOC) cduce-cvs/doc cp Makefile.binary cduce-cvs/Makefile tar czf cduce-cvs-linux-static.tar.gz --exclude CVS cduce-cvs rm -Rf cduce-cvs scp cduce-cvs-linux-static.tar.gz cduce@di.ens.fr:public_html/download .PHONY: test test: $(MAKE) -C tests test # Web site driver/examples.ml: cduce web/xhtml.cdo web/examples/build.cd web/examples/examples.xml (cd web/examples; ../../cduce build.cd -I .. --arg examples.xml) web_fetch_tralala: wget -O web/tralala_documents_lille.inc http://www.grappa.univ-lille3.fr/bibtex/tralalamachine.php webpages: cduce web/site.cdo (cd web; ../cduce --run site.cdo --arg site.xml) website: webpages webiface evaluator install_web: website cp web/www/*.html web/demo.js web/cduce.css $(HTML_DIR)/ cp CHANGES INSTALL INSTALL.WIN32 $(HTML_DIR)/ cp webiface $(CGI_DIR)/cduce cp evaluator $(CGI_DIR)/demo_evaluator if test ! -d "$(HTML_DIR)/img" ; then \ mkdir $(HTML_DIR)/img; \ fi; cp web/img/*.* $(HTML_DIR)/img WEBIFACE = $(OBJECTS) driver/examples.cmo driver/webiface.cmo EVALUATOR = $(OBJECTS) driver/evaluator.cmo webiface: $(WEBIFACE:.cmo=.$(EXTENSION)) @echo "Build $@" $(HIDE)$(LINK) -verbose $(INCLUDES) -o $@ $^ $(EXTRA_OPTS_WEBIFACE) evaluator: $(EVALUATOR:.cmo=.$(EXTENSION)) @echo "Build $@" $(HIDE)$(LINK) -verbose $(INCLUDES) -o $@ $^ $(EXTRA_OPTS_WEBIFACE) # webiface can be made static to be able to move it more easily # (to compile it on a machine which is not the web server) # Seems to be some problems with statically linking curl # EXTRA_OPTS_WEBIFACE = -ccopt -static