Changeset d0e888 in git for m4

Timestamp:

Aug 2, 2013, 5:40:59 PM (11 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

d3055c2d956c814d5e0587144b724ea989359937

Parents:

f57b6f18b1bcdf1314cd2a943565ec298e5e11f9

Message:

fix: libcddgmp may be a c++ library (on ubuntu)

File:

• m4/gfanlib-check.m4 (modified) (1 diff)

m4/gfanlib-check.m4

@@ -12 +12 @@
 if test "x$ENABLE_GFANLIB" = xyes; then
  AC_MSG_RESULT(yes)
- AC_CHECK_LIB(cddgmp,dd_set_global_constants,[
-  CDDGMPLDFLAGS="-lcddgmp"
-  PASSED_ALL_TESTS_FOR_GFANLIB="yes";
-  ],[
-  PASSED_ALL_TESTS_FOR_GFANLIB="no";
-  echo "Error! cddgmp needed!"
-  exit -1
-  ])
+ AC_LANG_PUSH(C++)
+ SAVE_LIBS=$LIBS
+ LIBS="$LIBS -lcddgmp"
+AC_LINK_IFELSE(
+  [AC_LANG_PROGRAM([#include <cdd/setoper.h>
+  #include <cdd/cdd.h>],
+    [dd_set_global_constants()])],
+  [LIBS="$SAVE_LIBS -lcddgmp"] [CDDGMPLDFLAGS="-lcddgmp"] 
+  [PASSED_ALL_TESTS_FOR_GFANLIB="yes"],
+  [AC_MSG_WARN([libcddgmp is not installed.])] 
+  [PASSED_ALL_TESTS_FOR_GFANLIB="no"
+  ]
+)
+if test "$PASSED_ALL_TESTS_FOR_GFANLIB" != yes; then
+AC_LINK_IFELSE(
+  [AC_LANG_PROGRAM([#include <setoper.h>
+  #include "cdd.h"],
+    [dd_set_global_constants()])],
+  [LIBS="$SAVE_LIBS -lcddgmp"] [CDDGMPLDFLAGS="-lcddgmp"] 
+  [PASSED_ALL_TESTS_FOR_GFANLIB="yes"],
+  [AC_MSG_WARN([libcddgmp is not installed.])] 
+  [PASSED_ALL_TESTS_FOR_GFANLIB="no";
+  exit 1]
+)
+fi
+  AC_LANG_POP()
 else
  AC_MSG_RESULT(no)