Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
46389dd1
Commit
46389dd1
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2004-03-09 20:25:37 by jdemouth] Add ocaml interface to cduce compiler.
Original author: jdemouth Date: 2004-03-09 20:26:45+00:00
parent
408cd092
Changes
2
Hide whitespace changes
Inline
Side-by-side
Makefile.conf
View file @
46389dd1
...
...
@@ -7,6 +7,9 @@ endif
# profiling support
PROFILE
=
false
# cduce interface.
ML_INTERFACE
=
false
# use wlex lexers for parsing XML files with PXP
PXP_WLEX
=
false
...
...
Makefile.distrib
View file @
46389dd1
...
...
@@ -48,6 +48,11 @@ ifeq ($(NETCLIENT), true)
SYNTAX
+=
-symbol
NETCLIENT
=
endif
ifeq
($(ML_INTERFACE), true)
SYNTAX
+=
-symbol
ML_INTERFACE
=
ML_LIB
=
oCaml_all.cma
endif
SYNTAX_PARSER
=
-syntax
camlp4o
$
(
SYNTAX:%
=
-ppopt
%
)
CAMLC_P
=
ocamlc
-g
...
...
@@ -133,7 +138,7 @@ help:
# Source directories
DIRS
=
misc parser schema typing types compile runtime driver query
DIRS
=
misc parser schema typing types compile runtime driver query
ml_interface
CLEAN_DIRS
=
$(DIRS)
tools tests
# Objects to build
...
...
@@ -170,7 +175,14 @@ OBJECTS = \
compile/compile.cmo
\
compile/operators.cmo
\
\
types/builtin.cmo driver/librarian.cmo driver/cduce.cmo
types/builtin.cmo
\
driver/librarian.cmo
\
ml_interface/ml_types.cmo
\
ml_interface/ml_cduce.cmo
\
ml_interface/ml_ocaml.cmo
\
ml_interface/ml_checker.cmo
\
ml_interface/ml_generator.cmo
\
driver/cduce.cmo
CQL_OBJECTS
=
query/query.cmo query/query_parse.cmo
CQL_OBJECTS_RUN
=
query/query_run.cmo
...
...
@@ -192,7 +204,7 @@ DEPEND = $(ALL_OBJECTS:.cmo=.ml) $(ALL_OBJECTS:.cmo=.mli) $(ALL_INTERFACES)
INCLUDES
=
$
(
DIRS:%
=
-I
%
)
cduce
:
$(CDUCE:.cmo=.$(EXTENSION))
$(LINK)
$(INCLUDES)
-o
$@
$^
$(EXTRA_LINK_OPTS)
$(LINK)
$(INCLUDES)
-o
$@
$(ML_LIB)
$^
$(EXTRA_LINK_OPTS)
cDuce_all.$(EXTENSION_LIB)
:
$(OBJECTS:.cmo=.$(EXTENSION))
$(COMPILE)
-o
cDuce_all.
$(EXTENSION)
-pack
$^
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment