| 1 |
include Makefile.conf
|
| 2 |
include VERSION
|
| 3 |
|
| 4 |
|
| 5 |
ALL_TARGET=cduce cduce_lib.cma
|
| 6 |
INSTALL_BINARIES=cduce$(EXE)
|
| 7 |
|
| 8 |
ifneq ($(ML_INTERFACE), false)
|
| 9 |
ALL_TARGET += cdo2ml mlcduce_wrapper
|
| 10 |
INSTALL_BINARIES += cdo2ml$(EXE) mlcduce_wrapper$(EXE) cduce_mktop
|
| 11 |
endif
|
| 12 |
|
| 13 |
|
| 14 |
all: $(ALL_TARGET)
|
| 15 |
ifeq ($(NATIVE),true)
|
| 16 |
all: cduce_lib.cmxa
|
| 17 |
endif
|
| 18 |
|
| 19 |
PACKAGES = ulex camlp4 pcre num netstring cgi
|
| 20 |
|
| 21 |
# Call make with VERBOSE=true to get a trace of commands
|
| 22 |
|
| 23 |
VERBOSE=false
|
| 24 |
|
| 25 |
ifneq ($(VERBOSE), true)
|
| 26 |
HIDE=@
|
| 27 |
else
|
| 28 |
HIDE=
|
| 29 |
endif
|
| 30 |
|
| 31 |
|
| 32 |
SYNTAX = -I misc/ q_symbol.cmo \
|
| 33 |
-symbol cduce_version=\"$(VERSION)\" \
|
| 34 |
-symbol build_date=\"$(shell date +%Y-%m-%d)\" \
|
| 35 |
-symbol session_dir=\"$(SESSION_DIR)\"
|
| 36 |
|
| 37 |
SYNTAX_PARSER = -syntax camlp4o $(SYNTAX:%=-ppopt %)
|
| 38 |
|
| 39 |
CAMLC_P = ocamlc -g
|
| 40 |
DEPEND_OCAMLDEP = misc/q_symbol.cmo
|
| 41 |
ifeq ($(PROFILE), true)
|
| 42 |
CAMLOPT_P = ocamlopt -p -inline 10000
|
| 43 |
ifeq ($(NATIVE), false)
|
| 44 |
CAMLC_P = ocamlcp -p a
|
| 45 |
SYNTAX_PARSER =
|
| 46 |
DEPEND_OCAMLDEP =
|
| 47 |
endif
|
| 48 |
else
|
| 49 |
CAMLOPT_P = ocamlopt -inline 10000
|
| 50 |
endif
|
| 51 |
|
| 52 |
OPT = -warn-error FPS
|
| 53 |
ANNOT =
|
| 54 |
INTERFACE =
|
| 55 |
ifeq ($(ANNOT), true)
|
| 56 |
OPT += -passopt -dtypes
|
| 57 |
endif
|
| 58 |
ifeq ($(INTERFACE), true)
|
| 59 |
OPT += -passopt -i
|
| 60 |
endif
|
| 61 |
OCAMLFIND = ocamlfind
|
| 62 |
CAMLC = $(OCAMLFIND) $(CAMLC_P) $(OPT) -package "$(PACKAGES)"
|
| 63 |
CAMLOPT = $(OCAMLFIND) $(CAMLOPT_P) $(OPT) -package "$(PACKAGES)"
|
| 64 |
|
| 65 |
ifeq ($(NATIVE), true)
|
| 66 |
EXTENSION = cmx
|
| 67 |
EXTENSION_LIB = cmxa
|
| 68 |
CAML=ocamlopt
|
| 69 |
COMPILE = $(CAMLOPT)
|
| 70 |
LINK = $(CAMLOPT) -linkpkg gramlib.cmxa
|
| 71 |
SYNTAX += -symbol ocaml_compiler=\"native\"
|
| 72 |
else
|
| 73 |
EXTENSION = cmo
|
| 74 |
EXTENSION_LIB = cma
|
| 75 |
COMPILE = $(CAMLC)
|
| 76 |
CAML=ocamlc
|
| 77 |
LINK = $(CAMLC) -custom -linkpkg gramlib.cma
|
| 78 |
SYNTAX += -symbol ocaml_compiler=\"bytecode\"
|
| 79 |
endif
|
| 80 |
|
| 81 |
|
| 82 |
INSTALL := install -c
|
| 83 |
|
| 84 |
ifeq ($(NATIVE),true)
|
| 85 |
.PHONY: cduce_lib.cma
|
| 86 |
cduce_lib.cma:
|
| 87 |
$(HIDE)$(MAKE) NATIVE=false $@
|
| 88 |
endif
|
| 89 |
|
| 90 |
install: all install_bin install_lib install_doc
|
| 91 |
|
| 92 |
install_bin:
|
| 93 |
@echo "Install binaries"
|
| 94 |
$(HIDE)mkdir -p $(BINDIR)
|
| 95 |
$(HIDE)$(INSTALL) -m755 $(INSTALL_BINARIES) $(BINDIR)/
|
| 96 |
|
| 97 |
|
| 98 |
install_lib:
|
| 99 |
@echo "Build META"
|
| 100 |
$(HIDE)(sed "s/%REQ%/$(PACKAGES)/" < META.in | sed "s/%VER%/$(VERSION)/" > META)
|
| 101 |
$(HIDE)-$(OCAMLFIND) remove cduce
|
| 102 |
$(HIDE)-$(OCAMLFIND) install cduce META \
|
| 103 |
cduce_lib.cmi $(wildcard *.cma) $(wildcard *.cmxa) $(wildcard *.a) \
|
| 104 |
|
| 105 |
|
| 106 |
uninstall:
|
| 107 |
rm -f $(BINDIR)/cduce$(EXE) \
|
| 108 |
$(BINDIR)/cdo2ml$(EXE) \
|
| 109 |
$(BINDIR)/mlcduce_wrapper$(EXE) $(BINDIR)/cduce_mktop
|
| 110 |
rm -f $(MANDIR)/man1/cduce.1 \
|
| 111 |
$(MANDIR)/man1/cdo2ml.1
|
| 112 |
rm -Rf $(DOCDIR)
|
| 113 |
ocamlfind remove cduce
|
| 114 |
|
| 115 |
help:
|
| 116 |
@echo "GOALS"
|
| 117 |
@echo " cduce : compiles the CDuce command line interpreter"
|
| 118 |
@echo " dtd2cduce: compiles the dtd2cduce tools"
|
| 119 |
@echo " doc : build the documentation"
|
| 120 |
@echo " all : build binaries and libraries"
|
| 121 |
@echo " install : install binaries, man pages, documentation"
|
| 122 |
@echo " clean : back to the starting point"
|
| 123 |
@echo " uninstall : remove installed files"
|
| 124 |
|
| 125 |
# Source directories
|
| 126 |
|
| 127 |
DIRS = misc parser schema typing types compile runtime driver query ocamliface
|
| 128 |
CLEAN_DIRS = $(DIRS) cdo2cmo tools tests
|
| 129 |
|
| 130 |
# Objects to build
|
| 131 |
|
| 132 |
OBJECTS = \
|
| 133 |
driver/config.cmo misc/stats.cmo misc/custom.cmo misc/encodings.cmo \
|
| 134 |
misc/upool.cmo misc/pretty.cmo misc/ns.cmo misc/imap.cmo misc/html.cmo \
|
| 135 |
\
|
| 136 |
types/compunit.cmo types/sortedList.cmo misc/bool.cmo types/ident.cmo \
|
| 137 |
types/intervals.cmo types/chars.cmo types/atoms.cmo types/normal.cmo \
|
| 138 |
types/types.cmo compile/auto_pat.cmo \
|
| 139 |
types/sequence.cmo types/builtin_defs.cmo \
|
| 140 |
\
|
| 141 |
runtime/value.cmo \
|
| 142 |
\
|
| 143 |
schema/schema_pcre.cmo schema/schema_types.cmo \
|
| 144 |
schema/schema_xml.cmo schema/schema_common.cmo \
|
| 145 |
schema/schema_builtin.cmo schema/schema_validator.cmo \
|
| 146 |
\
|
| 147 |
types/patterns.cmo \
|
| 148 |
\
|
| 149 |
compile/lambda.cmo \
|
| 150 |
runtime/run_dispatch.cmo runtime/explain.cmo runtime/eval.cmo \
|
| 151 |
\
|
| 152 |
parser/location.cmo parser/url.cmo \
|
| 153 |
parser/ulexer.cmo parser/ast.cmo parser/parser.cmo \
|
| 154 |
\
|
| 155 |
typing/typed.cmo typing/typepat.cmo types/externals.cmo typing/typer.cmo \
|
| 156 |
compile/compile.cmo \
|
| 157 |
\
|
| 158 |
schema/schema_parser.cmo schema/schema_converter.cmo \
|
| 159 |
runtime/load_xml.cmo runtime/print_xml.cmo compile/operators.cmo types/builtin.cmo \
|
| 160 |
driver/librarian.cmo types/sample.cmo \
|
| 161 |
compile/print_auto.cmo \
|
| 162 |
driver/cduce.cmo \
|
| 163 |
\
|
| 164 |
runtime/system.cmo query/query_aggregates.cmo
|
| 165 |
|
| 166 |
schema/schema_types.ml: schema/schema_types.mli
|
| 167 |
cp $^ $@
|
| 168 |
compile/auto_pat.ml: compile/auto_pat.mli
|
| 169 |
cp $^ $@
|
| 170 |
compile/lambda.ml: compile/lambda.mli
|
| 171 |
cp $^ $@
|
| 172 |
|
| 173 |
ML_INTERFACE_OBJS = \
|
| 174 |
ocamliface/caml_cduce.cmo \
|
| 175 |
ocamliface/mltypes.cmo ocamliface/mlstub.cmo
|
| 176 |
|
| 177 |
ifneq ($(ML_INTERFACE), false)
|
| 178 |
OBJECTS += $(ML_INTERFACE_OBJS)
|
| 179 |
endif
|
| 180 |
|
| 181 |
ifneq ($(CURL), false)
|
| 182 |
OBJECTS += parser/cduce_curl.cmo
|
| 183 |
PACKAGES += curl
|
| 184 |
endif
|
| 185 |
ifneq ($(NETCLIENT), false)
|
| 186 |
OBJECTS += parser/cduce_netclient.cmo
|
| 187 |
PACKAGES += netclient
|
| 188 |
endif
|
| 189 |
|
| 190 |
PXP_PACK=pxp-engine pxp-lex-iso88591
|
| 191 |
ifeq ($(PXP_WLEX), true)
|
| 192 |
PXP_PACK += pxp-wlex-utf8
|
| 193 |
else
|
| 194 |
PXP_PACK += pxp-lex-utf8
|
| 195 |
endif
|
| 196 |
|
| 197 |
ifeq ($(PXP),true)
|
| 198 |
OBJECTS += runtime/cduce_pxp.cmo
|
| 199 |
PACKAGES += $(PXP_PACK)
|
| 200 |
endif
|
| 201 |
ifeq ($(EXPAT), true)
|
| 202 |
OBJECTS += runtime/cduce_expat.cmo
|
| 203 |
PACKAGES += expat
|
| 204 |
endif
|
| 205 |
|
| 206 |
|
| 207 |
OBJECTS += driver/run.cmo
|
| 208 |
CDUCE = $(OBJECTS) driver/start.cmo
|
| 209 |
|
| 210 |
ALL_OBJECTS = $(OBJECTS) \
|
| 211 |
driver/start.cmo driver/examples.cmo \
|
| 212 |
driver/webiface.cmo driver/evaluator.cmo \
|
| 213 |
tools/validate.cmo \
|
| 214 |
$(ML_INTERFACE_OBJS) parser/cduce_curl.cmo \
|
| 215 |
parser/cduce_netclient.cmo \
|
| 216 |
runtime/cduce_expat.cmo runtime/cduce_pxp.cmo
|
| 217 |
|
| 218 |
ALL_INTERFACES = schema/schema_types.mli
|
| 219 |
|
| 220 |
DEPEND = $(ALL_OBJECTS:.cmo=.ml) $(ALL_OBJECTS:.cmo=.mli) $(ALL_INTERFACES)
|
| 221 |
|
| 222 |
INCLUDES = $(DIRS:%=-I %)
|
| 223 |
|
| 224 |
cduce: $(CDUCE:.cmo=.$(EXTENSION))
|
| 225 |
@echo "Build $@"
|
| 226 |
$(HIDE)$(LINK) $(INCLUDES) -o $@ $^ $(EXTRA_LINK_OPTS)
|
| 227 |
|
| 228 |
cduce_packed.ml: $(CDUCE:.cmo=.ml)
|
| 229 |
rm -f cduce_packed.ml
|
| 230 |
ocaml tools/pack.ml $^ > cduce_packed.ml
|
| 231 |
|
| 232 |
cduce_packed: cduce_packed.$(EXTENSION)
|
| 233 |
$(LINK) $(INCLUDES) -o $@ $^ $(EXTRA_LINK_OPTS)
|
| 234 |
|
| 235 |
|
| 236 |
cduce_lib.$(EXTENSION_LIB): $(OBJECTS:.cmo=.$(EXTENSION))
|
| 237 |
@echo "Pack cduce_lib.$(EXTENSION)"
|
| 238 |
$(HIDE)$(COMPILE) -o cduce_lib.$(EXTENSION) -pack $^
|
| 239 |
@echo "Build $@"
|
| 240 |
$(HIDE)$(COMPILE) -a -o $@ cduce_lib.$(EXTENSION)
|
| 241 |
|
| 242 |
dtd2cduce: tools/dtd2cduce.ml
|
| 243 |
@echo "Build $@"
|
| 244 |
$(HIDE)$(OCAMLFIND) $(CAML) -o $@ -ccopt -static -package "$(PXP_PACK) cgi" -linkpkg $^
|
| 245 |
|
| 246 |
mlcduce_wrapper: $(OBJECTS) ocamliface/mlcduce_wrapper.ml
|
| 247 |
@echo "Build $@"
|
| 248 |
$(HIDE)$(CAMLC) -linkpkg $(INCLUDES) -o $@ odyl.cma camlp4.cma pr_o.cmo $^ $(EXTRA_LINK_OPTS)
|
| 249 |
|
| 250 |
cdo2ml: ocamliface/cdo2ml.ml
|
| 251 |
@echo "Build $@"
|
| 252 |
$(HIDE)ocamlc -o $@ -I +camlp4 camlp4.cma pr_o.cmo $<
|
| 253 |
|
| 254 |
.PHONY: compute_depend
|
| 255 |
compute_depend: $(DEPEND_OCAMLDEP)
|
| 256 |
@echo "Computing dependencies ..."
|
| 257 |
ocamlfind ocamldep -package "$(PACKAGES)" \
|
| 258 |
$(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend
|
| 259 |
clean:
|
| 260 |
for i in $(CLEAN_DIRS); do \
|
| 261 |
(cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa *~); \
|
| 262 |
done
|
| 263 |
rm -f ocamliface/cmi2ml ocamliface/asttypes.ml
|
| 264 |
rm -f `find . -name "*~"`
|
| 265 |
rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~ META
|
| 266 |
rm -f cduce$(EXE) ocamlprof.dump
|
| 267 |
rm -f dtd2cduce$(EXE) webiface$(EXE) cduce_validate$(EXE) \
|
| 268 |
cdo2ml$(EXE) mlcduce_wrapper$(EXE) evaluator$(EXE)
|
| 269 |
rm -Rf prepro package
|
| 270 |
rm -f web/www/*.html web/*~
|
| 271 |
rm -f web/*.cdo
|
| 272 |
rm -f configure.log
|
| 273 |
rm -rf web/doc
|
| 274 |
rm -f META
|
| 275 |
|
| 276 |
distclean: clean
|
| 277 |
rm -f Makefile.conf
|
| 278 |
|
| 279 |
ocamliface/mltypes.$(EXTENSION): ocamliface/caml_cduce.$(EXTENSION)
|
| 280 |
|
| 281 |
$(ALL_OBJECTS:.cmo=.$(EXTENSION)): misc/q_symbol.cmo
|
| 282 |
$(ALL_INTERFACES): misc/q_symbol.cmo
|
| 283 |
|
| 284 |
.SUFFIXES: .ml .mli .cmo .cmi .cmx
|
| 285 |
|
| 286 |
misc/q_symbol.cmo: misc/q_symbol.ml
|
| 287 |
@echo "Build $@"
|
| 288 |
$(HIDE)$(CAMLC) -c -pp 'camlp4o pa_extend.cmo q_MLast.cmo' $<
|
| 289 |
|
| 290 |
.ml.cmo:
|
| 291 |
@echo "Build $@"
|
| 292 |
$(HIDE)$(CAMLC) -c $(INCLUDES) $(SYNTAX_PARSER) $<
|
| 293 |
|
| 294 |
.ml.cmx:
|
| 295 |
@echo "Build $@"
|
| 296 |
$(HIDE)$(CAMLOPT) -c $(SYNTAX_PARSER) $(INCLUDES) $<
|
| 297 |
|
| 298 |
.mli.cmi:
|
| 299 |
@echo "Build $@"
|
| 300 |
$(HIDE)$(CAMLC) -c $(SYNTAX_PARSER) $(INCLUDES) $<
|
| 301 |
|
| 302 |
include depend
|
| 303 |
|
| 304 |
# Documentation
|
| 305 |
|
| 306 |
doc: cduce web/site.cdo
|
| 307 |
mkdir -p web/doc
|
| 308 |
(cd web; ../cduce --run site.cdo --arg doc.xml -o doc)
|
| 309 |
|
| 310 |
web/site.cdo: cduce web/xhtml.cdo web/site.cd
|
| 311 |
./cduce -I web/ --compile web/site.cd
|
| 312 |
|
| 313 |
web/xhtml.cdo: cduce web/xhtml.cd
|
| 314 |
./cduce -I web/ --compile web/xhtml.cd
|
| 315 |
|
| 316 |
install_doc: doc
|
| 317 |
$(HIDE)mkdir -p $(MANDIR)/man1
|
| 318 |
$(HIDE)(cd doc; $(MAKE) install INSTALL=$(INSTALL) MANDIR=$(MANDIR) HIDE=$(HIDE))
|
| 319 |
mkdir -p $(DOCDIR)/img
|
| 320 |
cp web/doc/*.html $(DOCDIR)/
|
| 321 |
cp CHANGES INSTALL INSTALL.WIN32 README AUTHORS LICENSE $(DOCDIR)/
|
| 322 |
cp web/img/left.gif web/img/right.gif $(DOCDIR)/img
|
| 323 |
|
| 324 |
|
| 325 |
### Pack OCaml modules for the CDuce/OCaml interface
|
| 326 |
|
| 327 |
|
| 328 |
ocamliface/caml_cduce.cmo:
|
| 329 |
@cd ocamliface; \
|
| 330 |
$(MAKE) PREFIX=$(ML_MODULES) MODEL=$(ML_INTERFACE) \
|
| 331 |
HIDE=$(HIDE) caml_cduce.cmo
|
| 332 |
|
| 333 |
ocamliface/caml_cduce.cmx:
|
| 334 |
@cd ocamliface; \
|
| 335 |
$(MAKE) PREFIX=$(ML_MODULES) MODEL=$(ML_INTERFACE) \
|
| 336 |
HIDE=$(HIDE) caml_cduce.cmx
|