Changeset 7395dd in git

Timestamp:

Nov 14, 2013, 4:11:34 PM (10 years ago)

Author:

Yue Ren <ren@…>

Branches:

(u'spielwiese', 'd1b01e9d51ade4b46b745d3bada5c5f3696be3a8')

Children:

9bee534198ac4b761325be1435e67598941aac19

Parents:

d770e6a687e6451b6e42d8b59cf74426e947eaf0

git-author:

Yue Ren <ren@mathematik.uni-kl.de>2013-11-14 16:11:34+01:00

git-committer:

Yue Ren <ren@mathematik.uni-kl.de>2015-02-06 13:47:02+01:00

Message:

fix: missing -lcddgmp flag when linking libgfan.so

File:

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

m4/gfanlib-check.m4

@@ -16 +16 @@
  AC_CHECK_HEADERS([setoper.h cdd/setoper.h cddlib/setoper.h])
 
- if test "x$ac_cv_header_setoper_h" = xno -a "x$ac_cv_header_cdd_setoper_h" = xno -a "x$ac_cv_header_cddlib_setoper_h" = xno; then
-   AC_MSG_WARN([Note that setoper.h is missing!])
+ if test "$ac_cv_header_setoper_h" == no -a "$ac_cv_header_cdd_setoper_h" == no -a "$ac_cv_header_cddlib_setoper_h" == no
+ then
+        AC_MSG_WARN([Error, setoper.h is missing!])
  fi
 
@@ -56 +57 @@
  LIBS=$BACKUP_LIBS
 
+<<<<<<< HEAD
  if test "x$PASSED_ALL_TESTS_FOR_GFANLIB" = x1; then
   AC_MSG_RESULT([yes])
@@ -66 +68 @@
   fi
  fi
+<<<<<<< HEAD
+=======
+=======
+ AC_MSG_RESULT(no)
+
+ AC_SUBST(CDDGMPLDFLAGS)
+>>>>>>> fix: missing -lcddgmp flag when linking libgfan.so
+>>>>>>> fix: missing -lcddgmp flag when linking libgfan.so
 else
  AC_MSG_RESULT(no)