From 5bc5e17dc6981ef19ad213984929aed931d98651 Mon Sep 17 00:00:00 2001
From: Dan Rostovtsev <dan@rostovtsev.org>
Date: Thu, 2 Apr 2026 12:15:09 -0400
Subject: Lambda v0.0.0

---
 configure.ac | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 configure.ac

(limited to 'configure.ac')

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
-- 
cgit v1.3