+if test "x$CONFIG_RUSAGE" = "xno"; then
+ AC_CHECK_HEADER(ctime, , GINAC_ERROR([The standard <ctime> header file could not be found.]))
+fi
+
+DL_LIBS=""
+dnl Check for dl library (needed for GiNaC::compile).
+AC_CHECK_LIB(dl, dlopen,
+ [
+ DL_LIBS="-ldl"
+ AC_DEFINE(HAVE_LIBDL, 1, [set to 1 if you have a working libdl installed.])
+ ],
+ GINAC_WARNING([libdl not found. GiNaC::compile will be disabled.]))
+AC_SUBST(DL_LIBS)