Commit 0b42a2ce authored by Andrei Paskevich's avatar Andrei Paskevich

menhirlib disabled by default to avoid plugin-related warnings

parent 6b508758
......@@ -100,7 +100,7 @@ AC_ARG_ENABLE(whytptp,
AC_ARG_ENABLE(menhirlib,
[ --enable-menhirlib enable Menhir library],,
enable_menhirlib=yes)
enable_menhirlib=no)
# hypothesis selection
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment