diff options
| author | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-02 12:15:09 -0400 |
|---|---|---|
| committer | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-02 12:15:09 -0400 |
| commit | 5bc5e17dc6981ef19ad213984929aed931d98651 (patch) | |
| tree | 630a07e8ba8293ae425607d0feb5a3d3573571b9 /configure.ac | |
| parent | 260fd7480c613205ab779b69e354ecf8f8b9a131 (diff) | |
Lambda v0.0.0v0.0.0
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac new file mode 100644 index 0000000..f186a1d --- /dev/null +++ b/configure.ac @@ -0,0 +1,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 |