diff options
Diffstat (limited to 'lib/make/configure.in')
-rw-r--r-- | lib/make/configure.in | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/lib/make/configure.in b/lib/make/configure.in index 2ee92d20..f212d3dc 100644 --- a/lib/make/configure.in +++ b/lib/make/configure.in @@ -366,9 +366,14 @@ CCTK_TIME__FTIME dnl Include file stuff +CCTK_CHECK_HEADERS(time.h) CCTK_CHECK_HEADERS(sys/time.h) CCTK_CHECK_HEADERS(unistd.h) CCTK_CHECK_HEADERS(string.h) +CCTK_CHECK_HEADERS(assert.h) +CCTK_CHECK_HEADERS(sys/stat.h) +CCTK_CHECK_HEADERS(getopt.h) +CCTK_HEADER_REGEX AC_HEADER_TIME @@ -381,6 +386,24 @@ AC_LANG_RESTORE dnl Misc stuff +dnl Do we need to build the GNU getopt and regex stuff ? + +AC_SUBST(BUILD_GETOPT) + +if test "x$cctk_cv_header_getopt_h" = "xyes" ; then + BUILD_GETOPT=no +else + BUILD_GETOPT=yes +fi + +AC_SUBST(BUILD_REGEX) + +if test "x$cctk_cv_header_regex_h" = "xyes" ; then + BUILD_REGEX=no +else + BUILD_REGEX=yes +fi + AC_SUBST(LIBDIRS) AC_SUBST(PACKAGE_DIR) |