diff options
author | germeier <germeier> | 2003-04-18 16:58:27 +0000 |
---|---|---|
committer | germeier <germeier> | 2003-04-18 16:58:27 +0000 |
commit | c321a8a95655f0af7250681ee81d598eb17ccc78 (patch) | |
tree | ca8262bacb882c47e3748091046caa9045185185 /configure.in | |
parent | d4629ff70f8a45fb71877fb1ac9f4180f1367960 (diff) | |
download | mpiosh-c321a8a95655f0af7250681ee81d598eb17ccc78.tar.gz mpiosh-c321a8a95655f0af7250681ee81d598eb17ccc78.tar.bz2 mpiosh-c321a8a95655f0af7250681ee81d598eb17ccc78.zip |
update build environment to use mplib if not disabled manually
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 7c33d01..c41bf86 100644 --- a/configure.in +++ b/configure.in @@ -29,6 +29,31 @@ dnl --- checking for readline AC_CHECK_HEADER(readline/readline.h,, AC_ERROR(could not find readline header files)) +dnl --- include mplib if not disabled manually + +AC_DEFUN([TEST_MPLIB], +[AC_ARG_WITH([mplib], + AC_HELP_STRING([--without-mplib], + [disable use of mplib]), + [ac_cv_use_mplib=$withval], [ac_cv_use_mplib=yes]) +AC_CACHE_CHECK([whether to use mplib], + [ac_cv_use_mplib], [ac_cv_use_mplib=yes])]) + +TEST_MPLIB + +if test "$ac_cv_use_mplib" = yes; then + AC_CONFIG_SUBDIRS(mplib) + MPLIB_INCLUDE=-I../mplib/src + MPLIB_CFLAGS=-DMPLIB + MPLIB_LIBADD=../mplib/src/libmp.la + MPLIB_SUBDIR=mplib +fi + +AC_SUBST(MPLIB_INCLUDE) +AC_SUBST(MPLIB_CFLAGS) +AC_SUBST(MPLIB_LIBADD) +AC_SUBST(MPLIB_SUBDIR) + dnl --- check for kernel version kernel_version=`uname -r 2>&1` echo -n "checking for kernel version ... " |