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
00ddd3d1
Commit
00ddd3d1
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-03-04 12:16:06 by afrisch] oublis
Original author: afrisch Date: 2005-03-04 12:16:06+00:00
parent
28897209
Changes
2
Hide whitespace changes
Inline
Side-by-side
Makefile.distrib
View file @
00ddd3d1
...
...
@@ -281,7 +281,8 @@ clean:
rm
-f
`
find
.
-name
"*~"
`
rm
-f
*
.cmi
*
.cmo
*
.cma
*
.cmx
*
.a
*
.cmxa
*
.o
*
~ META
rm
-f
cduce
$(EXE)
ocamlprof.dump
rm
-f
dtd2cduce
$(EXE)
webiface
$(EXE)
cduce_validate
$(EXE)
cdo2ml
$(EXE)
evaluator
$(EXE)
rm
-f
dtd2cduce
$(EXE)
webiface
$(EXE)
cduce_validate
$(EXE)
\
cdo2ml
$(EXE)
mlcduce_wrapper
$(EXE)
evaluator
$(EXE)
rm
-Rf
prepro package
rm
-f
web/www/
*
.html web/
*
~
rm
-f
web/
*
.cdo
...
...
driver/start.ml
0 → 100644
View file @
00ddd3d1
Run
.
main
()
;;
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