Changeset 13f555 in git for m4

Timestamp:

Sep 29, 2014, 8:17:16 PM (10 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

351717f210df19b5dd8d203ad7fc30592d9516c6

Parents:

a28cd7f9b24e3824abfbcce4660bc1b2375fad12

Message:

Fixing configure test for cddlib

File:

• m4/gfanlib-check.m4 (modified) (3 diffs)

m4/gfanlib-check.m4

@@ -25 +25 @@
  BACKUP_LIBS=$LIBS
 
- LIBS="-lcddgmp $GMP_LIBS $LIBS"
+ LIBS="$LIBS -lcddgmp $GMP_LIBS "
 
- AC_LANG_PUSH(C++)
+ AC_LANG_PUSH(C)
  AC_LINK_IFELSE(
   [
    AC_LANG_PROGRAM(
     [
+    #define GMPRATIONAL
      #ifdef HAVE_SETOPER_H
      # include <setoper.h>
@@ -44 +45 @@
      # include <cddlib/cdd.h>
      #endif
-    ], [dd_set_global_constants()]    )
+    ], [dd_set_global_constants(); dd_log=dd_FALSE; ] 
+    )
   ],
-  [PASSED_ALL_TESTS_FOR_GFANLIB="1"] [CDDGMPLDFLAGS="-lcddgmp"],
+  [PASSED_ALL_TESTS_FOR_GFANLIB="1"] [CDDGMPLDFLAGS="-lcddgmp $GMP_LIBS"]  [CDDGMPCPPFLAGS="-DGMPRATIONAL"],
   [PASSED_ALL_TESTS_FOR_GFANLIB="0"]
  )
@@ -53 +55 @@
  LIBS=$BACKUP_LIBS
 
- AC_MSG_RESULT(no)
-
- AC_SUBST(CDDGMPLDFLAGS) 
 else
- AC_MSG_RESULT(no)
  PASSED_ALL_TESTS_FOR_GFANLIB="0"
 fi
 
+ if test "x$PASSED_ALL_TESTS_FOR_GFANLIB" = x1; then  
+  AC_MSG_RESULT(yes)
+  AC_SUBST(CDDGMPLDFLAGS) 
+  AC_SUBST(CDDGMPCPPFLAGS) 
+ else
+  AC_MSG_RESULT(no) 
+ fi
 
 AM_CONDITIONAL(HAVE_GFANLIB, test "x$PASSED_ALL_TESTS_FOR_GFANLIB" = x1)