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