Commit 50714c57 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Prepare for Coq 8.9.

parent 23db7761
...@@ -668,6 +668,9 @@ if test "$enable_coq_support" = yes; then ...@@ -668,6 +668,9 @@ if test "$enable_coq_support" = yes; then
8.8*) 8.8*)
coq_compat_version="COQ88" coq_compat_version="COQ88"
;; ;;
8.9*)
coq_compat_version="COQ89"
;;
*) *)
enable_coq_support=no enable_coq_support=no
AC_MSG_WARN(You need Coq 8.5 or later; Coq discarded) AC_MSG_WARN(You need Coq 8.5 or later; Coq discarded)
......
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