configure.ac


1
2
3
4
5
6
7
8
9
10
11
12
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