X-Git-Url: https://ginac.de/ginac.git/static/gitweb.css/ginac.git?a=blobdiff_plain;f=acinclude.m4;h=a343fd97763ab5376f2fd0e2c55de08abdfb2756;hb=660dc3380d44928709d5ac47d3ad6e98bb7c30c2;hp=f4368eb4fe1fa1d0838d82857a4704790b75b0ac;hpb=01d8c0983f416d0df74255b2c429a5c69a3121cf;p=ginac.git

diff --git a/acinclude.m4 b/acinclude.m4
index f4368eb4..a343fd97 100644
--- a/acinclude.m4
+++ b/acinclude.m4
@@ -8,12 +8,12 @@ dnl Generally, it is a bad idea to put specialized header files for a library
 dnl into a generic directory like /usr/local/include/.  Instead, one should put
 dnl them into a subdirectory.  GiNaC does it, NTL does it.  Unfortunately, CLN
 dnl doesn't do so but some people choose to do it by hand.  In these cases we
-dnl need to #include <CLN/cln.h>, otherwise #include <cln.h>.  This macro
+dnl need to #include <cln/cln.h>, otherwise #include <cln.h>.  This macro
 dnl tries to be clever and find out the correct way by defining the variable
 dnl HAVE_CLN_CLN_H in config.h:
 AC_DEFUN(GINAC_CHECK_CLN_H,
     [AC_PROVIDE([$0])
-    AC_CHECK_HEADERS(CLN/cln.h, ,
+    AC_CHECK_HEADERS(cln/cln.h, ,
         AC_CHECK_HEADERS(cln.h, ,
             AC_MSG_ERROR([cannot find header for Bruno Haible's CLN]);
         )
@@ -25,20 +25,20 @@ dnl C++ is more strongly typed than C.  Therefore we need to work with the
 dnl more fundamental AC_TRY_LINK instead.
 AC_DEFUN(GINAC_CHECK_LIBCLN,
     [AC_PROVIDE([$0])
-    AC_MSG_CHECKING([how to link with libcln])
+    AC_MSG_CHECKING([for doublefactorial in -lcln])
     saved_LIBS="${LIBS}"
     AC_CACHE_VAL(ginac_cv_lib_cln_link,
         [LIBS="-lcln"
-        case "${ac_cv_header_CLN_cln_h}" in
+        case "${ac_cv_header_cln_cln_h}" in
         "yes")
-            AC_TRY_LINK([#include <CLN/cln.h>],
-                [factorial(1);],
+            AC_TRY_LINK([#include <cln/cln.h>],
+                [doublefactorial(2);],
                 ginac_cv_lib_cln_link="-lcln",
                 ginac_cv_lib_cln_link="fail")
             ;;
         *)
             AC_TRY_LINK([#include <cln.h>],
-                [factorial(1);],
+                [doublefactorial(2);],
                 ginac_cv_lib_cln_link="-lcln",
                 ginac_cv_lib_cln_link="fail")
             ;;
@@ -47,71 +47,58 @@ AC_DEFUN(GINAC_CHECK_LIBCLN,
     case "${ginac_cv_lib_cln_link}" in
 dnl linking worked:
     "-lcln")
-        LIBS="-lcln ${saved_LIBS}"
-        AC_MSG_RESULT([-lcln])
-        GINAC_CHECK_LIBCLN_SANITY
+        LIBS="${ginac_cv_lib_cln_link} ${saved_LIBS}"
+        AC_MSG_RESULT("yes")
     ;;
 dnl linking failed:
     "fail")
         LIBS="${saved_LIBS}"
-        AC_MSG_RESULT([])
-        AC_MSG_WARN([linking with libcln failed])
-    ;;
-dnl should never ever get here:
-    *)
-        LIBS="${saved_LIBS}"
-    ;;
-    esac
-])
-
-dnl Check if the CLN library suits our needs, i.e. if it is new enough, by
-dnl trying to run into a little bug which was present till version 1.0.1 and
-dnl then removed.
-AC_DEFUN(GINAC_CHECK_LIBCLN_SANITY,
-    [AC_PROVIDE([$0])
-    AC_MSG_CHECKING([whether libcln behaves sane])
-    AC_CACHE_VAL(ginac_cv_lib_cln_integrity,
-        [
-        case "${ac_cv_header_CLN_cln_h}" in
-        "yes")
-            AC_TRY_RUN([#include <CLN/cln.h>
-int main() {
-cl_RA q(3); q = q/2; cl_RA p(3); p = p/2;
-if (q+p != 3) return 1; else return 0;
-}],
-                ginac_cv_lib_cln_integrity="sane",
-                ginac_cv_lib_cln_integrity="insane",
-                ginac_cv_lib_cln_integrity="guessing sane")
-            ;;
-        *)
-            AC_TRY_RUN([#include <cln.h>
-int main() {
-cl_RA q(3); q = q/2; cl_RA p(3); p = p/2;
-if (q+p != 3) return 1; else return 0;
-}],
-                ginac_cv_lib_cln_integrity="sane",
-                ginac_cv_lib_cln_integrity="insane",
-                ginac_cv_lib_cln_integrity="guessing sane")
-            ;;
-        esac
-    ])
-    case "${ginac_cv_lib_cln_integrity}" in
-dnl exit status was 0:
-    "sane")
-        AC_MSG_RESULT([yes])
-    ;;
-dnl exit status was not 0:
-    "insane")
         AC_MSG_RESULT([no])
-        AC_MSG_WARN([maybe version of libcln is older than 1.0.2?])
-    ;;
-dnl test-program was not run because we are cross-compiling:
-    "guessing sane")
-        AC_MSG_RESULT([hopefully])
-    ;;
-dnl should never ever get here:
-    *)
-        AC_MSG_WARN([you found a bug in the configure script!])
+        GINAC_ERROR([I could not successfully link a test-program against libcln and run it.
+   You either need to set \$LDFLAGS or install/update the CLN library.])
     ;;
     esac
 ])
+
+dnl Usage: GINAC_ERROR(message)
+dnl This macro displays the warning "message" and sets the flag ginac_error
+dnl to yes.
+AC_DEFUN(GINAC_ERROR,[
+ginac_error_txt="$ginac_error_txt
+** $1
+"
+ginac_error=yes])
+
+dnl Usage: GINAC_WARNING(message)
+dnl This macro displays the warning "message" and sets the flag ginac_warning
+dnl to yes.
+AC_DEFUN(GINAC_WARNING,[
+ginac_warning_txt="$ginac_warning_txt
+== $1
+"
+ginac_warning=yes])
+
+dnl Usage: GINAC_CHECK_ERRORS
+dnl (preferably to be put at end of configure.in)
+dnl This macro displays a warning message if GINAC_ERROR or GINAC_WARNING 
+dnl has occured previously.
+AC_DEFUN(GINAC_CHECK_ERRORS,[
+if test "x${ginac_error}" = "xyes"; then
+  echo "**** The following problems have been detected by configure."
+  echo "**** Please check the messages below before running \"make\"."
+  echo "**** (see the section 'Common Problems' in the INSTALL file)"
+  echo "$ginac_error_txt"
+  if test "x${ginac_warning_txt}" != "x"; then
+    echo "${ginac_warning_txt}"
+  fi
+  echo "deleting cache ${cache_file}"
+  rm -f $cache_file
+  else 
+    if test x$ginac_warning = xyes; then
+      echo "=== The following minor problems have been detected by configure."
+      echo "=== Please check the messages below before running \"make\"."
+      echo "=== (see the section 'Common Problems' in the INSTALL file)"
+      echo "$ginac_warning_txt"
+    fi
+  echo "Configuration of GiNaC $VERSION done. Now type \"make\"."
+fi])