summaryrefslogtreecommitdiff
blob: 6a8743f44b897ff52d149723e08381a6ed1e37cf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
Index: menhir-20151112/src/Makefile
===================================================================
--- menhir-20151112.orig/src/Makefile
+++ menhir-20151112/src/Makefile
@@ -19,7 +19,7 @@ endif
 # ----------------------------------------------------------------------------
 # Ocamlbuild tool and settings.
 
-OCAMLBUILD := ocamlbuild -classic-display -j 0 -cflags "-safe-string -bin-annot"
+OCAMLBUILD := ocamlbuild -no-hygiene -classic-display -j 0 -cflags "-safe-string -bin-annot"
 
 # ----------------------------------------------------------------------------
 # For everyday development.