summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2020-10-22 14:53:39 +0000
committerMasaya Tojo <masaya@tojo.tokyo>2020-10-23 23:57:59 +0900
commit30aa68089dc2f353a6c17e1ea83c61dd2b06aede (patch)
tree2386445aa7ed5be745f6598056e50345722fcab8 /configure.ac
Initial commit.
* COPYING: New file. * Makefile.am: New file. * README.org: New file. * README.md: Delete file. * bootstrap: New file. * build-aux/test-driver.scm: New file. * configure.ac: New file. * guix.scm: New file. * pre-inst-env.in: New file. * rabbit-prover.scm: New file. * toot.scm: New file.
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac13
1 files changed, 13 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
new file mode 100644
index 0000000..fdfce62
--- /dev/null
+++ b/configure.ac
@@ -0,0 +1,13 @@
+AC_INIT([rabbit-prover], [0.0.0])
+AC_CONFIG_SRCDIR([rabbit-prover.scm])
+AC_CONFIG_AUX_DIR([build-aux])
+AM_INIT_AUTOMAKE([-Wall -Werror foreign])
+AM_SILENT_RULES([yes])
+
+GUILE_PKG([3.0])
+GUILE_PROGS
+
+AC_CONFIG_FILES([Makefile])
+AC_CONFIG_FILES([pre-inst-env], [chmod +x pre-inst-env])
+
+AC_OUTPUT