aboutsummaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-02-16 16:37:16 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-02-16 16:37:16 +0000
commit0dfdafdf6de4f741ff60637843f0e7900384cd9f (patch)
treed0dfc7555e007bb9d4066cd45b4eb36405c20731 /configure.ac
parentf34de121401bb43c6cfab892b2b254e42652ba90 (diff)
* Allow linking against an external Berkeley DB / ATerm library.
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac28
1 files changed, 28 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index b8d51916a..689c2617e 100644
--- a/configure.ac
+++ b/configure.ac
@@ -68,6 +68,34 @@ AC_ARG_WITH(store-dir, AC_HELP_STRING([--with-store-dir=PATH],
storedir=$withval, storedir='${prefix}/store')
AC_SUBST(storedir)
+AC_ARG_WITH(bdb, AC_HELP_STRING([--with-bdb=PATH],
+ [prefix of Berkeley DB]),
+ bdb=$withval, bdb=)
+AM_CONDITIONAL(HAVE_BDB, test -n "$bdb")
+if test -z "$bdb"; then
+ bdb_lib='-L${top_builddir}/externals/inst-bdb/lib -ldb_cxx'
+ bdb_include='-I${top_builddir}/externals/inst-bdb/include'
+else
+ bdb_lib="-L$bdb/lib -Wl,-rpath,$bdb/lib -ldb_cxx"
+ bdb_include="-I$bdb/include"
+fi
+AC_SUBST(bdb_lib)
+AC_SUBST(bdb_include)
+
+AC_ARG_WITH(aterm, AC_HELP_STRING([--with-aterm=PATH],
+ [prefix of CWI ATerm library]),
+ aterm=$withval, aterm=)
+AM_CONDITIONAL(HAVE_ATERM, test -n "$aterm")
+if test -z "$aterm"; then
+ aterm_lib='-L${top_builddir}/externals/inst-aterm/lib -lATerm'
+ aterm_include='-I${top_builddir}/externals/inst-aterm/include'
+else
+ aterm_lib="-L$aterm/lib -Wl,-rpath,$aterm/lib -lATerm"
+ aterm_include="-I$aterm/include"
+fi
+AC_SUBST(aterm_lib)
+AC_SUBST(aterm_include)
+
AC_CHECK_LIB(pthread, pthread_mutex_init)
AM_CONFIG_HEADER([config.h])