summaryrefslogtreecommitdiff
path: root/configure.in
diff options
context:
space:
mode:
authorSebastien Tricaud <toady@gscore.org>2005-03-29 20:41:18 +0000
committerSebastien Tricaud <toady@gscore.org>2005-03-29 20:41:18 +0000
commitf2d8e740a26f7fad4e32584d86d489fccbc767da (patch)
tree3808f0fce019720067a8a7d2305cb425fe5c8169 /configure.in
parentba82d67e1db5a6a793f6564f926e6a0f8b17f782 (diff)
prelude ids support
Diffstat (limited to 'configure.in')
-rw-r--r--configure.in6
1 files changed, 6 insertions, 0 deletions
diff --git a/configure.in b/configure.in
index 40f74b51..c040d2e0 100644
--- a/configure.in
+++ b/configure.in
@@ -77,6 +77,12 @@ AC_ARG_ENABLE(libdebug,
WITH_LIBDEBUG=yes ; AC_DEFINE(WITH_LIBDEBUG) , WITH_LIBDEBUG=no)
AC_SUBST(WITH_LIBDEBUG)
+dnl have prelude support
+AC_ARG_ENABLE(prelude,
+[ --enable-prelude build prelude ids support],
+ WITH_PRELUDE=yes ; AC_DEFINE(WITH_PRELUDE), WITH_PRELUDE=no)
+AC_SUBST(WITH_PRELUDE)
+
dnl packaging convenience
AC_ARG_ENABLE(fakeroot,
[ --enable-fakeroot=<path to packaging directory>], FAKEROOT=$enableval)