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
3c071435
Commit
3c071435
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2004-03-14 22:17:27 by beppe] Bugfix
Original author: beppe Date: 2004-03-14 22:17:27+00:00
parent
08150e7b
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile.conf
View file @
3c071435
...
...
@@ -7,13 +7,10 @@ endif
# profiling support
PROFILE
=
false
# <<<<<<< Makefile.conf
# cduce interface.
# ML_INTERFACE = true
# =======
# .mli file support to interface CDuce with OCaml.
# .mli/.cmi file support to interface CDuce with OCaml.
ML_INTERFACE
=
false
# >>>>>>> 1.17
# use wlex lexers for parsing XML files with PXP
PXP_WLEX
=
false
...
...
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