Commit 43666c0a authored by Francois Bobot's avatar Francois Bobot

configure.in : ajout de --disable-coq-support (bcp de warning avec caml 3.12.0+dev17 ;) )

parent c96cf559
......@@ -213,30 +213,39 @@ fi
AC_CHECK_PROG(OCAMLWEB,ocamlweb,ocamlweb,true)
# Coq
AC_CHECK_PROG(COQC,coqc,coqc,no)
if test "$COQC" = no ; then
COQ=no
AC_MSG_WARN(Cannot find coqc.)
AC_ARG_ENABLE(coq-support,
[ --enable-coq-support enable the coq support)[default=yes]],,
enable_coq_support=yes)
if test "$enable_coq_support" = no; then
COQ=no
AC_MSG_WARN(coq support disabled)
else
COQ=yes
AC_CHECK_PROG(COQDEP,coqdep,coqdep,true)
if test "$COQDEP" = true ; then
AC_MSG_ERROR(Cannot find coqdep.)
AC_CHECK_PROG(COQC,coqc,coqc,no)
if test "$COQC" = no ; then
COQ=no
AC_MSG_WARN(Cannot find coqc.)
else
COQ=yes
AC_CHECK_PROG(COQDEP,coqdep,coqdep,true)
if test "$COQDEP" = true ; then
AC_MSG_ERROR(Cannot find coqdep.)
fi
COQLIB=`$COQC -where | sed -e 's|\\\|/|g' -e 's| |\\ |g'`
AC_MSG_CHECKING(Coq version)
COQVERSION=`$COQC -v | sed -n -e 's|.*version* *\([[^ ]]*\) .*$|\1|p' `
case $COQVERSION in
8.*|trunk)
AC_MSG_RESULT($COQVERSION);;
*)
COQ=no
AC_MSG_WARN(You need Coq 8.x or later; Coq discarded);;
esac
fi
COQLIB=`$COQC -where | sed -e 's|\\\|/|g' -e 's| |\\ |g'`
AC_MSG_CHECKING(Coq version)
COQVERSION=`$COQC -v | sed -n -e 's|.*version* *\([[^ ]]*\) .*$|\1|p' `
case $COQVERSION in
8.*|trunk)
AC_MSG_RESULT($COQVERSION);;
*)
COQ=no
AC_MSG_WARN(You need Coq 8.x or later; Coq discarded);;
esac
fi
#Viewer for ps and pdf
AC_CHECK_PROGS(PSVIEWER,gv evince)
AC_CHECK_PROGS(PDFVIEWER,xpdf acroread evince)
......
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