coq-plugin compilation disabled

parent 09c7e8aa
......@@ -318,9 +318,13 @@ fi
if test "$CAMLP5O" = no; then
enable_coq_support=no
reason_coq_support=" ($CAMLP5O not found)"
reason_coq_support=" (camlp5o not found)"
fi
# coq-plugin currently disabled
enable_coq_support=no
reason_coq_support=
# hypothesis_selection
if test "$enable_hypothesis_selection" = yes; then
......
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