Contents of /cduce/trunk/Makefile

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 doc cduce dtd2cduce
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
        cp -R $(CVS_DISTRIB) cduce-cvs
        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)

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


1	include Makefile.distrib
2
3	# For development
4
5	pull: tools/pull.$(EXTENSION)
6	$(LINK) -o $@ $^
7
8	PREPRO = camlp4o -I `ocamlfind query ulex` pa_ulex.cma pr_o.cmo $(SYNTAX) -sep "\n"
9
10	profile: misc/q_symbol.cmo
11	rm -Rf prepro
12	mkdir prepro
13	for i in $(DIRS); do \
14	mkdir prepro/$$i; \
15	for j in $$i/.ml $$i/.mli; do \
16	if [ -f "$$j" ]; then \
17	echo $$j; \
18	$(PREPRO) $$j -o prepro/$$j; \
19	fi; \
20	done; \
21	done
22	cp Makefile.distrib Makefile Makefile.conf prepro/
23	(cd prepro; \
24	touch depend; \
25	$(MAKE) compute_depend PROFILE=true SYNTAX_PARSER= ; \
26	$(MAKE) cduce PROFILE=true SYNTAX_PARSER= NATIVE=false)
27
28
29	# Site-specific installation
30
31	charme_build:
32	rsh charme ". .env; cd IMPLEM/CDUCE; $(MAKE) webiface webpages"
33	scp CHANGES INSTALL INSTALL.WIN32 web/www/*.html web/cduce.css cduce@iris:public_html/
34	scp webiface cduce@iris:cgi-bin/cduce
35
36	install_web_distant:
37	$(MAKE) webpages
38	scp CHANGES INSTALL INSTALL.WIN32 web/www/*.html web/demo.js web/cduce.css cduce@iris.ens.fr:public_html/
39
40	SCRIPT =
41	INCLUDES_DEB = $(INCLUDES) $(shell ocamlfind query -i-format -recursive $(PACKAGES))
42	DEBUGGER = ocamldebug
43	debug:
44	ledit $(DEBUGGER) $(INCLUDES_DEB) ./cduce $(SCRIPT)
45
46	# Packaging
47
48	DISTRIB = $(DIRS) cduce.spec tools depend INSTALL INSTALL.WIN32 CHANGES \
49	LICENSE README AUTHORS Makefile.conf.template configure configure.ml doc \
50	META.in cduce_mktop
51
52	DISTRIB_DOC = doc.xml memento.xml tutorial.xml manual.xml tutorial manual \
53	xhtml.cd xhtml-categ.cd xhtml-strict.cd site.cd
54
55	PACKAGE = cduce-$(VERSION)
56	.PHONY: package
57	package: clean
58	rm -Rf $(PACKAGE)
59	mkdir $(PACKAGE)
60	cp -R $(DISTRIB) $(PACKAGE)/
61	cp Makefile.distrib $(PACKAGE)/Makefile
62	mkdir -p $(PACKAGE)/web/img
63	(cd web; cp -R $(DISTRIB_DOC) ../$(PACKAGE)/web; \
64	cd img; cp left.gif right.gif ../../$(PACKAGE)/web/img)
65	(cd $(PACKAGE); \
66	rm -f types/IDEAS; \
67	for F in $(DEPEND); do headache -h ../header $$F; done)
68	tar czf $(PACKAGE).tar.gz --exclude CVS --exclude ".#*" $(PACKAGE)
69	rm -Rf $(PACKAGE)
70
71	#cvs_snapshot:
72	# $(MAKE) package VERSION=cvs`date +%Y%m%d`
73
74	MSTONE=3
75	cvs_snapshot:
76	(cd /tmp; \
77	rm -Rf cduce; \
78	cvs -z3 -d ":pserver:anonymous@cvs.cduce.org:/cvsroot" co cduce; \
79	tar czf cduce-cvs$(MSTONE).tar.gz cduce; \
80	rm -Rf cduce; \
81	scp cduce-cvs$(MSTONE).tar.gz cduce@iris.ens.fr:public_html/download; \
82	rm -f cduce-cvs$(MSTONE).tar.gz)
83
84	OCAML_STDLIBDIR := $(shell ocamlc -where)
85	.PHONY: .ocamlinit
86	.ocamlinit:
87	echo '(* AUTOMATICALLY GENERATED by Makefile: DO NOT EDIT! *)' > $@
88	echo '#load "$(OCAML_STDLIBDIR)/pcre/pcre.cma";;' >> $@
89	echo '#load "$(OCAML_STDLIBDIR)/unix.cma";;' >> $@
90	echo '#load "$(OCAML_STDLIBDIR)/netstring/netstring.cma";;' >> $@
91	# echo '#load "$(OCAML_STDLIBDIR)/netstring/netstring_top.cmo";;' >> $@
92	echo '#load "$(OCAML_STDLIBDIR)/pxp-engine/pxp_engine.cma";;' >> $@
93	# echo '#load "$(OCAML_STDLIBDIR)/pxp-engine/pxp_top.cmo";;' *)' >> $@
94	echo '#load "$(OCAML_STDLIBDIR)/pxp-lex-iso88591/pxp_lex_iso88591.cma";;' >> $@
95	echo '#load "$(OCAML_STDLIBDIR)/pxp-lex-iso88591/pxp_lex_link_iso88591.cmo";;' >> $@
96	echo '#load "$(OCAML_STDLIBDIR)/ulex/ulexing.cma";;' >> $@
97	echo '#load "$(OCAML_STDLIBDIR)/nums.cma";;' >> $@
98	# echo '#load "$(OCAML_STDLIBDIR)/num_top.cma";;' >> $@
99	echo '#load "$(OCAML_STDLIBDIR)/cgi/cgi.cma";;' >> $@
100	for o in $(VALIDATE_OBJECTS); do echo "prerr_endline \"Loading $$o ...\";;" >> $@; echo "#load \"$$o\";;" >> $@; done
101	for d in $(DIRS); do echo "#directory \"$$d\";;" >> $@; done
102	for p in pcre netstring pxp-engine ulex cgi; do echo "#directory \"`$(OCAMLFIND) query $$p`\";;" >> $@; done
103	echo "prerr_endline \"All done!\"" >> $@
104	echo '(* vim: set ft=ocaml: *)' >> $@
105
106	CVS_DISTRIB = web CHANGES LICENSE README AUTHORS doc cduce dtd2cduce
107	cvs_snapshot_bin: clean
108	if [[ `uname` != Linux ]]; then echo "Not a Linux box!"; exit 2; fi
109	$(MAKE) cduce dtd2cduce NATIVE=true EXTRA_LINK_OPTS="-ccopt -static" VERSION=cvs`date +%Y%m%d`
110	rm -Rf cduce-cvs
111	mkdir cduce-cvs
112	cp -R $(CVS_DISTRIB) cduce-cvs
113	cp Makefile.binary cduce-cvs/Makefile
114	tar czf cduce-cvs-linux-static.tar.gz --exclude CVS cduce-cvs
115	rm -Rf cduce-cvs
116	scp cduce-cvs-linux-static.tar.gz cduce@di.ens.fr:public_html/download
117
118	.PHONY: test
119	test:
120	$(MAKE) -C tests test
121
122
123	# Web site
124
125	driver/examples.ml: cduce web/xhtml.cdo web/examples/build.cd web/examples/examples.xml
126	(cd web/examples; ../../cduce build.cd -I .. --arg examples.xml)
127
128	webpages: cduce web/site.cdo
129	(cd web; ../cduce --run site.cdo --arg site.xml)
130
131	website: webpages webiface evaluator
132
133	install_web: website
134	cp web/www/*.html web/demo.js web/cduce.css $(HTML_DIR)/
135	cp CHANGES INSTALL INSTALL.WIN32 $(HTML_DIR)/
136	cp webiface $(CGI_DIR)/cduce
137	cp evaluator $(CGI_DIR)/demo_evaluator
138	if test ! -d "$(HTML_DIR)/img" ; then \
139	mkdir $(HTML_DIR)/img; \
140	fi;
141	cp web/img/. $(HTML_DIR)/img
142
143	WEBIFACE = $(OBJECTS) driver/examples.cmo driver/webiface.cmo
144	EVALUATOR = $(OBJECTS) driver/evaluator.cmo
145
146	webiface: $(WEBIFACE:.cmo=.$(EXTENSION))
147	@echo "Build $@"
148	$(HIDE)$(LINK) -verbose $(INCLUDES) -o $@ $^ $(EXTRA_OPTS_WEBIFACE)
149
150	evaluator: $(EVALUATOR:.cmo=.$(EXTENSION))
151	@echo "Build $@"
152	$(HIDE)$(LINK) -verbose $(INCLUDES) -o $@ $^ $(EXTRA_OPTS_WEBIFACE)
153
154	# webiface can be made static to be able to move it more easily
155	# (to compile it on a machine which is not the web server)
156	# Seems to be some problems with statically linking curl
157	# EXTRA_OPTS_WEBIFACE = -ccopt -static
158
159