Makefile 4.55 KB
Newer Older
1
2
3
NATIVE = true
PROFILE = false
PXP_WLEX = false
4

5
6
7
8
9
10
PACKAGES = -package "pxp-engine pxp-lex-iso88591 wlexing camlp4 num cgi"
ifeq ($(PXP_WLEX), true)
  PACKAGES += -package pxp-wlex-utf8
else
  PACKAGES += -package pxp-lex-utf8
endif
11

12
SYNTAX = camlp4o pa_extend.cmo
13

14
15
VERSION = 0.0.9 (alpha)

16
17
18
19
20
21
22
23
24
25
ifeq ($(PROFILE), true)
	CAMLC_P = ocamlcp -p a
	CAMLOPT_P = ocamlopt -p
	SYNTAX_PARSER = 
else
	CAMLC_P = ocamlc
	CAMLOPT_P = ocamlopt
	SYNTAX_PARSER = -pp '$(SYNTAX)'
endif

26
27
28
OPT = -warn-error A
CAMLC = ocamlfind $(CAMLC_P) $(OPT) $(PACKAGES)
CAMLOPT = ocamlfind $(CAMLOPT_P) $(OPT) $(PACKAGES)
29
30
31
32
33
34
35
36
37
38

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

all: cduce dtd2cduce local_website
39

40
# Source directories 
41

42
43
DIRS = misc parser typing types runtime driver
CLEAN_DIRS = $(DIRS) tools tests
44

45
# Objects to build
46

47
48
49
50
51
52
OBJECTS = \
 misc/state.cmo misc/pool.cmo misc/encodings.cmo misc/bool.cmo \
 misc/pretty.cmo \
 \
 types/sortedList.cmo types/boolean.cmo types/ident.cmo \
 types/intervals.cmo types/chars.cmo types/atoms.cmo types/normal.cmo \
53
 types/types.cmo types/patterns.cmo types/sequence.cmo \
54
 types/sample.cmo \
55
56
57
58
59
60
61
62
 \
 parser/location.cmo parser/wlexer.cmo parser/ast.cmo parser/parser.cmo \
 \
 typing/typed.cmo typing/typer.cmo \
 \
 runtime/value.cmo runtime/load_xml.cmo runtime/run_dispatch.cmo \
 runtime/print_xml.cmo runtime/eval.cmo \
 \
63
 types/builtin.cmo driver/cduce.cmo
64
65
66

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

69
70
71
72
DEPEND = $(DIRS:=/*.ml) $(DIRS:=/*.mli)
INCLUDES = $(DIRS:%=-I %)

PREPRO = $(SYNTAX) pr_o.cmo
73

74
cduce: $(CDUCE:.cmo=.$(EXTENSION))
75
76
77
78
79
80
	sed -e 's|%%VERSION%%|$(VERSION)|' \
            -e 's|%%BUILD_DATE%%|$(shell date -R)|' \
            -e 's|%%NATIVE%%|$(NATIVE)|' \
            misc/cduce_config.mlp > misc/cduce_config.ml
	$(LINK) -o $@ misc/cduce_config.ml $^
	rm misc/cduce_config.ml
81

82
83
webiface: $(WEBIFACE:.cmo=.$(EXTENSION))
	$(LINK) -o $@ $^
84

85
86
dtd2cduce: $(DTD2CDUCE:.cmo=.$(EXTENSION))
	$(LINK) -o $@ $^
87

88
.PHONY: compute_depend
89
90
compute_depend:
	@echo "Computing dependencies ..."
91
	ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend
92

93
94
95
parser/wlexer.ml: parser/wlexer.mll
	wlex parser/wlexer.mll

96
clean:
97
	for i in $(CLEAN_DIRS); do \
98
99
	(cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *~); \
	done
100
	rm -f `find -name "*~"`
101
	rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~
102
	rm -f cduce ocamlprof.dump
103
	rm -f dtd2cduce pool webiface
104
	rm -Rf prepro package
105
	rm -f web/www/*.php web/www/*.html web/*~
106

107
108
109
110

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

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

113
.ml.cmx:
114
	$(CAMLOPT) -c $(SYNTAX_PARSER) $(INCLUDES) $<
115
116

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

119
include depend
120

121
# CDuce-generated files
122

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

126
web/files: cduce web/site.cd
127
	(cd web; ../cduce --quiet site.cd --arg -php site.xml)
128

129
# Packaging
130
131
132
133
134
135
136

write_header:
	headache -h header $(DEPEND)

remove_header:
	headache -r $(DEPEND)

137
138
# For development

139
140
pull: tools/pull.$(EXTENSION)
	$(LINK) -o $@ $^
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155

profile:
	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 parser/wlexer.mll prepro/parser/
	cp Makefile depend prepro/
156
	(cd prepro;  make cduce PROFILE=true SYNTAX_PARSER= NATIVE=false)
157

158
# Site-specific installation
159
160

cedre_build:
161
	rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface; make web/files"
162
install_web:
163
	scp web/www/*.php web/cduce.css cduce@iris:public_html/
164
	scp webiface cduce@iris:cgi-bin/cduce
165
166
	ssh cduce@iris "chmod +s cgi-bin/cduce"

167
168
169
170
171
172
173
174
#
# Customize the following variables to match the settings
# of your local web server
#
WEB_PREFIX = /var/www
CGI_DIR = $(WEB_PREFIX)/cgi-bin
CDUCE_HTML_DIR = $(WEB_PREFIX)/html

175
176
177
178
179
180
181
install_web_local:web/files webiface
	cp  web/www/*.php web/cduce.css  $(CDUCE_HTML_DIR)/
	cp webiface $(CGI_DIR)/
	if test ! -d "$(CDUCE_HTML_DIR)/img" ; then \
	  mkdir $(CDUCE_HTML_DIR)/img; \
	fi;  
	cp web/img/*.*  $(CDUCE_HTML_DIR)/img
182

183
website: web/files
184
	scp web/www/*.php web/cduce.css cduce@iris:public_html/
185

186
local_website: cduce
187
	(cd web; ../cduce --quiet site.cd --arg site.xml)
188

189
190
# Distribution

191
192
DISTRIB = $(DIRS) tools web depend INSTALL CHANGES LICENSE README Makefile

193
194
195
196
197
.PHONY: package
package:
	rm -Rf package
	mkdir package
	cp -R $(DISTRIB) package/
198
	(cd package; headache -h ../header $(DEPEND); rm -Rf `find -name "CVS"`)
199