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
47b03747
Commit
47b03747
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2004-05-09 22:01:24 by jdemouth] Add cdml.cma...
Original author: jdemouth Date: 2004-05-09 22:01:24+00:00
parent
01f9d1e1
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile.distrib
View file @
47b03747
...
...
@@ -84,7 +84,7 @@ ifneq ($(ML_INTERFACE), false)
cdo2cmo/ml_checker.cmo
\
cdo2cmo/ml_generator.cmo
else
ML_INTERFACE_OBJ
=
ML_INTERFACE_OBJ
=
endif
INSTALL
:=
$(
shell
which
install
)
...
...
@@ -194,6 +194,12 @@ cduce_packed: cduce_packed.$(EXTENSION)
cDuce_all.$(EXTENSION_LIB)
:
$(OBJECTS:.cmo=.$(EXTENSION))
$(COMPILE)
-o
cDuce_all.
$(EXTENSION)
-pack
$^
$(LINK)
-a
-o
$@
cDuce_all.
$(EXTENSION)
$(COMPILE)
-c
cdo2cmo/cdml.mli
$(COMPILE)
-c
-o
cdml.
$(EXTENSION)
cdo2cmo/cdml.ml
$(LINK)
-a
-o
cdo2cmo/cdml.
$(EXTENSION_LIB)
\
oCaml_all.
$(EXTENSION_LIB)
\
cDuce_all.
$(EXTENSION_LIB)
\
cdo2cmo/cdml.
$(EXTENSION)
oCaml_all.$(EXTENSION_LIB)
:
cd
cdo2cmo
;
$(MAKE)
PREFIX
=
$(ML_MODULES)
MODEL
=
$(ML_INTERFACE)
$@
...
...
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