Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
6d5d38c1
Commit
6d5d38c1
authored
Mar 03, 2016
by
POTTIER Francois
Browse files
Use ocamlbuild -no-hygiene to work around the stricter hygiene requirements of ocamlbuild 4.03.
parent
d5469f21
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/Makefile
View file @
6d5d38c1
...
...
@@ -19,7 +19,11 @@ endif
# ----------------------------------------------------------------------------
# Ocamlbuild tool and settings.
OCAMLBUILD
:=
ocamlbuild
-classic-display
-j
0
-cflags
"-safe-string -bin-annot"
# Both targets "library" and "stage1" use "_stage1" as the build directory.
# This used to be fine with ocamlbuild, but starting with ocamlbuild 4.03,
# the flag -no-hygiene is required.
OCAMLBUILD
:=
ocamlbuild
-classic-display
-no-hygiene
-j
0
-cflags
"-safe-string -bin-annot"
# ----------------------------------------------------------------------------
# For everyday development.
...
...
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