cduce/trunk/Makefile.distrib

include Makefile.conf
VERSION = 0.2.0-pre1

PACKAGES = pxp-engine pxp-lex-iso88591 ulex camlp4 num cgi pcre netstring
ifeq ($(PXP_WLEX), true)
  PACKAGES += pxp-wlex-utf8
else
  PACKAGES += pxp-lex-utf8
endif

#
# Check if running Cygwin
#

ifneq (,$(findstring Cygwin, $(shell echo "Sys.os_type;;" | ocaml))) 
    EXE=.exe
else
    EXE= 
endif


SYNTAX = -I misc/ q_symbol.cmo \
  -symbol cduce_version=\"$(VERSION)\" \
  -symbol build_date=\"$(shell date +%Y-%m-%d)\" \
  -symbol session_dir=\"$(SESSION_DIR)\"

ifeq ($(NATIVE), true)
        SYNTAX += -symbol ocaml_compiler=\"native\"
else
        SYNTAX += -symbol ocaml_compiler=\"bytecode\"
endif

ifeq ($(EXPAT), true)
        PACKAGES += expat
        SYNTAX += -symbol EXPAT=
endif

SYNTAX_PARSER = -syntax camlp4o $(SYNTAX:%=-ppopt %)

CAMLC_P = ocamlc -g
DEPEND_OCAMLDEP = misc/q_symbol.cmo
ifeq ($(PROFILE), true)
        CAMLOPT_P = ocamlopt -p
        ifeq ($(NATIVE), false) 
         CAMLC_P = ocamlcp -p a
         SYNTAX_PARSER = 
         DEPEND_OCAMLDEP =
        endif
else
        CAMLOPT_P = ocamlopt -inline 25
endif

OPT = -warn-error FPS
ANNOT =
INTERFACE =
ifeq ($(ANNOT), true)
        OPT += -passopt -dtypes
endif
ifeq ($(INTERFACE), true)
        OPT += -passopt -i
endif
OCAMLFIND = ocamlfind
CAMLC = $(OCAMLFIND) $(CAMLC_P) $(OPT) -package "$(PACKAGES)"
CAMLOPT = $(OCAMLFIND) $(CAMLOPT_P) $(OPT) -package "$(PACKAGES)"

ifeq ($(NATIVE), true)
        EXTENSION = cmx
        LINK = $(CAMLOPT) -linkpkg gramlib.cmxa
else
        EXTENSION = cmo
        LINK = $(CAMLC) -custom -linkpkg gramlib.cma
endif

INSTALL := $(shell which install)


all: cduce dtd2cduce validate

install: all
        mkdir -p $(PREFIX)/bin/
        mkdir -p $(PREFIX)/man/man1/
        $(INSTALL) -m755 cduce$(EXE) dtd2cduce$(EXE) $(PREFIX)/bin/
        $(INSTALL) -m644 doc/cduce.1 $(PREFIX)/man/man1/

uninstall:
        rm  $(PREFIX)/bin/cduce$(EXE) $(PREFIX)/bin/dtd2cduce$(EXE) $(PREFIX)/man/man1/cduce.1

# Source directories 

DIRS = misc parser schema typing types compile runtime driver
CLEAN_DIRS = $(DIRS) tools tests

# Objects to build

OBJECTS = \
 misc/stats.cmo \
 misc/serialize.cmo misc/custom.cmo \
 misc/state.cmo misc/pool.cmo misc/encodings.cmo misc/bool.cmo \
 misc/pretty.cmo misc/ns.cmo misc/inttbl.cmo \
 \
 types/sortedList.cmo types/boolean.cmo types/ident.cmo \
 types/intervals.cmo types/chars.cmo types/atoms.cmo \
 types/normal.cmo \
 types/types.cmo types/patterns.cmo types/sequence.cmo \
 types/sample.cmo types/builtin_defs.cmo \
 \
 runtime/value.cmo \
 \
 schema/schema_xml.cmo \
 schema/schema_common.cmo \
 schema/schema_builtin.cmo \
 schema/schema_validator.cmo \
 schema/schema_parser.cmo \
 \
 parser/location.cmo parser/ulexer.cmo parser/ast.cmo parser/parser.cmo \
 \
 typing/typed.cmo typing/typer.cmo \
 \
 compile/lambda.cmo \
 \
 runtime/load_xml.cmo runtime/run_dispatch.cmo \
 runtime/explain.cmo \
 runtime/print_xml.cmo runtime/eval.cmo \
 compile/compile.cmo \
 compile/operators.cmo \
 \
 types/builtin.cmo driver/librarian.cmo driver/cduce.cmo

VALIDATE_OBJECTS := $(shell for o in $(OBJECTS); do echo $$o; if [ "$$o" = "schema/schema_parser.cmo" ]; then exit 0; fi; done) # all objects until schema_parser.cmo

CDUCE = $(OBJECTS) driver/run.cmo
WEBIFACE  = $(OBJECTS) driver/examples.cmo driver/webiface.cmo
DTD2CDUCE = tools/dtd2cduce.cmo

ALL_OBJECTS = $(OBJECTS) \
 driver/run.cmo driver/examples.cmo driver/webiface.cmo \
 tools/dtd2cduce.cmo tools/validate.cmo
ALL_INTERFACES = schema/schema_types.mli

DEPEND = $(ALL_OBJECTS:.cmo=.ml) $(ALL_OBJECTS:.cmo=.mli) $(ALL_INTERFACES)

INCLUDES = $(DIRS:%=-I %)

cduce: $(CDUCE:.cmo=.$(EXTENSION))
        $(LINK) $(INCLUDES) -o $@ $^ $(EXTRA_LINK_OPTS)

bug: $(OBJECTS) bug.cmo
        $(LINK) $(INCLUDES) -o $@ $^

webiface: $(WEBIFACE:.cmo=.$(EXTENSION))
        $(LINK) -verbose $(INCLUDES) -o $@ $^ -ccopt -static
# webiface is made static to be able to move it more easily
# (to compile it on a machine which is not the web server)

dtd2cduce: $(DTD2CDUCE:.cmo=.$(EXTENSION))
        $(LINK) $(INCLUDES) -o $@ $^

validate: $(VALIDATE_OBJECTS) tools/validate.cmo
        $(LINK) $(INCLUDES) -o $@ $^

.PHONY: compute_depend
compute_depend: $(DEPEND_OCAMLDEP)
        echo $(DEPEND)
        @echo "Computing dependencies ..."
        ocamlfind ocamldep -package "$(PACKAGES)" \
                $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) | \
                sed -e "s|: |: misc/q_symbol.cmo |" > depend
clean:
        for i in $(CLEAN_DIRS); do \
        (cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *~); \
        done
        (cd expat; $(MAKE) clean)
        rm -f `find . -name "*~"`
        rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~
        rm -f cduce ocamlprof.dump
        rm -f dtd2cduce pool webiface validate
        rm -Rf prepro package
        rm -f web/www/*.html web/*~
        rm -f web/*.cdo


.SUFFIXES: .ml .mli .cmo .cmi .cmx

misc/q_symbol.cmo: misc/q_symbol.ml
        $(CAMLC) -c -pp 'camlp4o pa_extend.cmo q_MLast.cmo' $<

.ml.cmo:
        $(CAMLC) -c $(INCLUDES) $(SYNTAX_PARSER) $<

.ml.cmx:
        $(CAMLOPT) -c $(SYNTAX_PARSER) $(INCLUDES) $<

.mli.cmi:
        $(CAMLC) -c $(SYNTAX_PARSER) $(INCLUDES) $<

include depend

# CDuce-generated files

driver/examples.ml: cduce web/examples/build.cd web/examples/examples.xml
        (cd web/examples; ../../cduce --quiet build.cd --arg examples.xml)

webpages: cduce web/site.cdo
        (cd web; ../cduce --run site.cdo --arg site.xml)

web/site.cdo: cduce web/xhtml.cdo web/site.cd
        ./cduce -I web/ --compile web/site.cd

web/xhtml.cdo: cduce web/xhtml.cd
        ./cduce -I web/ --compile web/xhtml.cd

website: webpages webiface

install_web: website
        cp  web/www/*.html web/cduce.css  $(HTML_DIR)/
        cp CHANGES $(HTML_DIR)/
        cp webiface $(CGI_DIR)/cduce
        if test ! -d "$(HTML_DIR)/img" ; then \
          mkdir $(HTML_DIR)/img; \
        fi;  
        cp web/img/*.*  $(HTML_DIR)/img
1	abate	485	include Makefile.conf
2	abate	738	VERSION = 0.2.0-pre1
3	abate	435
4	abate	668	PACKAGES = pxp-engine pxp-lex-iso88591 ulex camlp4 num cgi pcre netstring
5	abate	435	ifeq ($(PXP_WLEX), true)
6	abate	518	PACKAGES += pxp-wlex-utf8
7	abate	435	else
8	abate	518	PACKAGES += pxp-lex-utf8
9	abate	435	endif
10
11	abate	765	#
12			# Check if running Cygwin
13			#
14
15	abate	769	ifneq (,$(findstring Cygwin, $(shell echo "Sys.os_type;;" \| ocaml)))
16	abate	765	EXE=.exe
17			else
18			EXE=
19			endif
20
21
22	abate	705	SYNTAX = -I misc/ q_symbol.cmo \
23	abate	450	-symbol cduce_version=\"$(VERSION)\" \
24	abate	541	-symbol build_date=\"$(shell date +%Y-%m-%d)\" \
25			-symbol session_dir=\"$(SESSION_DIR)\"
26	abate	435
27	abate	450	ifeq ($(NATIVE), true)
28			SYNTAX += -symbol ocaml_compiler=\"native\"
29			else
30			SYNTAX += -symbol ocaml_compiler=\"bytecode\"
31			endif
32
33	abate	467	ifeq ($(EXPAT), true)
34	abate	518	PACKAGES += expat
35	abate	467	SYNTAX += -symbol EXPAT=
36			endif
37
38	abate	672	SYNTAX_PARSER = -syntax camlp4o $(SYNTAX:%=-ppopt %)
39	abate	466
40	abate	698	CAMLC_P = ocamlc -g
41	abate	672	DEPEND_OCAMLDEP = misc/q_symbol.cmo
42	abate	435	ifeq ($(PROFILE), true)
43			CAMLOPT_P = ocamlopt -p
44	abate	466	ifeq ($(NATIVE), false)
45			CAMLC_P = ocamlcp -p a
46			SYNTAX_PARSER =
47	abate	672	DEPEND_OCAMLDEP =
48	abate	501	endif
49	abate	435	else
50	abate	466	CAMLOPT_P = ocamlopt -inline 25
51	abate	435	endif
52
53	abate	531	OPT = -warn-error FPS
54	abate	752	ANNOT =
55			INTERFACE =
56			ifeq ($(ANNOT), true)
57			OPT += -passopt -dtypes
58			endif
59			ifeq ($(INTERFACE), true)
60			OPT += -passopt -i
61			endif
62	abate	609	OCAMLFIND = ocamlfind
63			CAMLC = $(OCAMLFIND) $(CAMLC_P) $(OPT) -package "$(PACKAGES)"
64			CAMLOPT = $(OCAMLFIND) $(CAMLOPT_P) $(OPT) -package "$(PACKAGES)"
65	abate	435
66			ifeq ($(NATIVE), true)
67			EXTENSION = cmx
68	abate	467	LINK = $(CAMLOPT) -linkpkg gramlib.cmxa
69	abate	435	else
70			EXTENSION = cmo
71	abate	501	LINK = $(CAMLC) -custom -linkpkg gramlib.cma
72	abate	435	endif
73
74	abate	765	INSTALL := $(shell which install)
75
76
77
78	abate	752	all: cduce dtd2cduce validate
79	abate	435
80	abate	603	install: all
81			mkdir -p $(PREFIX)/bin/
82			mkdir -p $(PREFIX)/man/man1/
83	abate	765	$(INSTALL) -m755 cduce$(EXE) dtd2cduce$(EXE) $(PREFIX)/bin/
84			$(INSTALL) -m644 doc/cduce.1 $(PREFIX)/man/man1/
85	abate	603
86			uninstall:
87	abate	765	rm $(PREFIX)/bin/cduce$(EXE) $(PREFIX)/bin/dtd2cduce$(EXE) $(PREFIX)/man/man1/cduce.1
88	abate	603
89	abate	435	# Source directories
90
91	abate	713	DIRS = misc parser schema typing types compile runtime driver
92	abate	435	CLEAN_DIRS = $(DIRS) tools tests
93
94			# Objects to build
95
96			OBJECTS = \
97	abate	677	misc/stats.cmo \
98	abate	653	misc/serialize.cmo misc/custom.cmo \
99	abate	435	misc/state.cmo misc/pool.cmo misc/encodings.cmo misc/bool.cmo \
100	abate	713	misc/pretty.cmo misc/ns.cmo misc/inttbl.cmo \
101	abate	435	\
102			types/sortedList.cmo types/boolean.cmo types/ident.cmo \
103	abate	529	types/intervals.cmo types/chars.cmo types/atoms.cmo \
104			types/normal.cmo \
105	abate	435	types/types.cmo types/patterns.cmo types/sequence.cmo \
106	abate	501	types/sample.cmo types/builtin_defs.cmo \
107	abate	435	\
108	abate	501	runtime/value.cmo \
109			\
110	abate	752	schema/schema_xml.cmo \
111			schema/schema_common.cmo \
112			schema/schema_builtin.cmo \
113			schema/schema_validator.cmo \
114			schema/schema_parser.cmo \
115	abate	501	\
116	abate	668	parser/location.cmo parser/ulexer.cmo parser/ast.cmo parser/parser.cmo \
117	abate	435	\
118			typing/typed.cmo typing/typer.cmo \
119			\
120	abate	692	compile/lambda.cmo \
121	abate	691	\
122	abate	501	runtime/load_xml.cmo runtime/run_dispatch.cmo \
123	abate	694	runtime/explain.cmo \
124	abate	435	runtime/print_xml.cmo runtime/eval.cmo \
125	abate	692	compile/compile.cmo \
126	abate	691	compile/operators.cmo \
127	abate	435	\
128	abate	713	types/builtin.cmo driver/librarian.cmo driver/cduce.cmo
129	abate	435
130	abate	752	VALIDATE_OBJECTS := $(shell for o in $(OBJECTS); do echo $$o; if [ "$$o" = "schema/schema_parser.cmo" ]; then exit 0; fi; done) # all objects until schema_parser.cmo
131
132	abate	435	CDUCE = $(OBJECTS) driver/run.cmo
133			WEBIFACE = $(OBJECTS) driver/examples.cmo driver/webiface.cmo
134			DTD2CDUCE = tools/dtd2cduce.cmo
135
136	abate	497	ALL_OBJECTS = $(OBJECTS) \
137			driver/run.cmo driver/examples.cmo driver/webiface.cmo \
138	abate	752	tools/dtd2cduce.cmo tools/validate.cmo
139			ALL_INTERFACES = schema/schema_types.mli
140	abate	497
141	abate	752	DEPEND = $(ALL_OBJECTS:.cmo=.ml) $(ALL_OBJECTS:.cmo=.mli) $(ALL_INTERFACES)
142	abate	497
143	abate	467	INCLUDES = $(DIRS:%=-I %)
144	abate	435
145			cduce: $(CDUCE:.cmo=.$(EXTENSION))
146	abate	737	$(LINK) $(INCLUDES) -o $@ $^ $(EXTRA_LINK_OPTS)
147	abate	435
148	abate	698	bug: $(OBJECTS) bug.cmo
149			$(LINK) $(INCLUDES) -o $@ $^
150
151	abate	435	webiface: $(WEBIFACE:.cmo=.$(EXTENSION))
152	abate	771	$(LINK) -verbose $(INCLUDES) -o $@ $^ -ccopt -static
153	abate	661	# webiface is made static to be able to move it more easily
154			# (to compile it on a machine which is not the web server)
155	abate	435
156			dtd2cduce: $(DTD2CDUCE:.cmo=.$(EXTENSION))
157	abate	468	$(LINK) $(INCLUDES) -o $@ $^
158	abate	435
159	abate	752	validate: $(VALIDATE_OBJECTS) tools/validate.cmo
160	abate	501	$(LINK) $(INCLUDES) -o $@ $^
161
162	abate	435	.PHONY: compute_depend
163	abate	672	compute_depend: $(DEPEND_OCAMLDEP)
164	abate	752	echo $(DEPEND)
165	abate	435	@echo "Computing dependencies ..."
166	abate	752	ocamlfind ocamldep -package "$(PACKAGES)" \
167			$(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) \| \
168			sed -e "s\|: \|: misc/q_symbol.cmo \|" > depend
169	abate	435	clean:
170			for i in $(CLEAN_DIRS); do \
171			(cd $$i; rm -f .cmi .cmo .cma .cmx .o ~); \
172			done
173	abate	594	(cd expat; $(MAKE) clean)
174	abate	453	rm -f `find . -name "*~"`
175	abate	435	rm -f .cmi .cmo .cma .cmx .a .cmxa .o ~
176			rm -f cduce ocamlprof.dump
177	abate	501	rm -f dtd2cduce pool webiface validate
178	abate	435	rm -Rf prepro package
179	abate	580	rm -f web/www/.html web/~
180	abate	708	rm -f web/*.cdo
181	abate	435
182
183			.SUFFIXES: .ml .mli .cmo .cmi .cmx
184
185	abate	450	misc/q_symbol.cmo: misc/q_symbol.ml
186	abate	467	$(CAMLC) -c -pp 'camlp4o pa_extend.cmo q_MLast.cmo' $<
187	abate	450
188	abate	435	.ml.cmo:
189	abate	672	$(CAMLC) -c $(INCLUDES) $(SYNTAX_PARSER) $<
190	abate	435
191			.ml.cmx:
192			$(CAMLOPT) -c $(SYNTAX_PARSER) $(INCLUDES) $<
193
194			.mli.cmi:
195			$(CAMLC) -c $(SYNTAX_PARSER) $(INCLUDES) $<
196
197			include depend
198
199			# CDuce-generated files
200
201			driver/examples.ml: cduce web/examples/build.cd web/examples/examples.xml
202	abate	561	(cd web/examples; ../../cduce --quiet build.cd --arg examples.xml)
203	abate	435
204	abate	707	webpages: cduce web/site.cdo
205	abate	723	(cd web; ../cduce --run site.cdo --arg site.xml)
206	abate	435
207	abate	713	web/site.cdo: cduce web/xhtml.cdo web/site.cd
208	abate	723	./cduce -I web/ --compile web/site.cd
209	abate	699
210	abate	713	web/xhtml.cdo: cduce web/xhtml.cd
211	abate	723	./cduce -I web/ --compile web/xhtml.cd
212	abate	713
213	abate	559	website: webpages webiface
214	abate	435
215	abate	559	install_web: website
216	abate	580	cp web/www/*.html web/cduce.css $(HTML_DIR)/
217	abate	562	cp CHANGES $(HTML_DIR)/
218	abate	526	cp webiface $(CGI_DIR)/cduce
219	abate	558	if test ! -d "$(HTML_DIR)/img" ; then \
220			mkdir $(HTML_DIR)/img; \
221	abate	435	fi;
222	abate	558	cp web/img/. $(HTML_DIR)/img