1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
AC_INIT([lambda], [0.0.0], [dan@rostovtsev.org])
# COQC search borrowed from the gappa project
# https://gitlab.inria.fr/gappa/coq.git
AC_DEFUN([AX_VERSION_GE], [AS_VERSION_COMPARE([$1],[$2],[$4],[$3],[$3])])
AC_SUBST(COQVERSION)
AC_ARG_VAR(COQC, [Coq compiler command [coqc]])
AC_MSG_CHECKING([for coqc >= 8.12.0])
COQC=`which coqc`
COQVERSION=[`$COQC -v | sed -n -e 's/^.*version \([0-9][0-9.]*\).*$/\1/p' | awk -F. '{ printf("%d%02d%02d\n", $1,$2,$3); }'`]
AX_VERSION_GE([$COQVERSION], [81200],
[ AC_MSG_RESULT([$COQC]) ],
[ AC_MSG_RESULT([no])
AC_MSG_ERROR([ *** Unable to find Coq (https://gitlab.inria.fr/gappa/coq.git)]) ])
AC_SUBST(COQBIN)
COQBIN=$(dirname $COQC)/
echo
echo "=== Summary ==="
echo "Coq Compiler: $COQC"
echo "Coq Binary Dir: $COQBIN"
echo
AC_CONFIG_FILES([Makefile])
AC_OUTPUT
|
