X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=configure.ac;h=75a644bef1862e4d27c7af386ef234e6463ea045;hp=e4a1e60ab59f5a51567fd2efc3aa9f2e21d9ac5c;hb=4a9f6c276daf54acbb2f5951f0435bfb6f014809;hpb=5e9875d5f67a68d2cb680454ff4de480bad1b6f1 diff --git a/configure.ac b/configure.ac index e4a1e60a..75a644be 100644 --- a/configure.ac +++ b/configure.ac @@ -76,47 +76,18 @@ dnl (golden_ratio_hash). AC_CHECK_SIZEOF(int) AC_CHECK_SIZEOF(long) AC_CHECK_SIZEOF(long long) -AC_CHECK_SIZEOF(long double) AC_CHECK_SIZEOF(void *) dnl Switch to C++ language mode for the following libraries and headers. AC_LANG([C++]) +dnl Make sure all the necessary standard headers are installed on the system. +GINAC_STD_CXX_HEADERS + dnl Check for stuff needed for building the GiNaC interactive shell (ginsh). AC_CHECK_HEADERS(unistd.h) GINAC_HAVE_RUSAGE -AC_CHECK_HEADERS(readline/readline.h readline/history.h) -if test "x${ac_cv_header_readline_readline_h}" != "xyes" -o "x${ac_cv_header_readline_history_h}" != "xyes"; then - GINAC_WARNING([I could not find the headers for libreadline (needed for building ginsh).]) -fi -GINAC_TERMCAP -save_LIBS=$LIBS -LIBS="$LIBTERMCAP $LIBS" -AC_CHECK_LIB(readline, readline) -if test "x${ac_cv_lib_readline_readline}" = "xyes"; then - GINAC_LIB_READLINE_VERSION -else - GINAC_WARNING([I could not find libreadline (needed by ginsh).]) -fi -GINSH_LIBS=$LIBS -LIBS=$save_LIBS -AC_SUBST(GINSH_LIBS) - -dnl Make sure all the necessary standard headers are installed on the system. -AC_CHECK_HEADER(iosfwd, , GINAC_ERROR([The standard header file could not be found.])) -AC_CHECK_HEADER(iostream, , GINAC_ERROR([The standard header file could not be found.])) -AC_CHECK_HEADER(vector, , GINAC_ERROR([The standard header file could not be found.])) -AC_CHECK_HEADER(list, , GINAC_ERROR([The standard header file could not be found.])) -AC_CHECK_HEADER(map, , GINAC_ERROR([The standard header file could not be found.])) -AC_CHECK_HEADER(string, , GINAC_ERROR([The standard header file could not be found.])) -AC_CHECK_HEADER(sstream, , GINAC_ERROR([The standard header file could not be found.])) -AC_CHECK_HEADER(typeinfo, , GINAC_ERROR([The standard header file could not be found.])) -AC_CHECK_HEADER(stdexcept, , GINAC_ERROR([The standard header file could not be found.])) -AC_CHECK_HEADER(algorithm, , GINAC_ERROR([The standard header file could not be found.])) -AC_CHECK_HEADER(limits, , GINAC_ERROR([The standard header file could not be found.])) -if test "x$CONFIG_RUSAGE" = "xno"; then - AC_CHECK_HEADER(ctime, , GINAC_ERROR([The standard header file could not be found.])) -fi +GINAC_READLINE DL_LIBS="" dnl Check for dl library (needed for GiNaC::compile). @@ -149,6 +120,10 @@ AM_CONDITIONAL(CONFIG_TEX, [test ! \( -z "$LATEX" -o -z $"PDFLATEX" -o -z "$MAKE AC_PATH_PROG(FIG2DEV, fig2dev, "") AM_CONDITIONAL(CONFIG_FIG2DEV, [test ! -z "$FIG2DEV"]) +dnl generate boilerplate code for the (new) parser. +dnl Only developers need this tool. +AC_PATH_PROG(AUTOGEN, autogen, "") + dnl Output makefiles etc. AC_CONFIG_FILES([ Makefile