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
a220f394
Commit
a220f394
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-03-09 16:29:39 by afrisch] Empty log message
Original author: afrisch Date: 2005-03-09 16:29:39+00:00
parent
76be483f
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile.distrib
View file @
a220f394
...
...
@@ -259,7 +259,7 @@ cduce_lib.$(EXTENSION_LIB): $(OBJECTS:.cmo=.$(EXTENSION))
dtd2cduce
:
tools/dtd2cduce.ml
@
echo
"Build
$@
"
-
$(HIDE)$(OCAMLFIND)
$(CAML)
-o
$@
-package
"
$(PXP_PACK)
cgi"
-linkpkg
$^
-
$(HIDE)$(OCAMLFIND)
$(CAML)
-o
$@
-ccopt
-static
-package
"
$(PXP_PACK)
cgi"
-linkpkg
$^
cduce_validate
:
$(VALIDATE_OBJECTS:.cmo=.$(EXTENSION)) tools/validate.$(EXTENSION)
@
echo
"Build
$@
"
...
...
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