Changeset 434c6e in git

Timestamp:

Aug 13, 2020, 4:31:41 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

346d9e5200c2bb38f613664bffb59c1ae581adbc

Parents:

b95d18bb8d3434dbb881a78c202aedede6c0a3984f73dff83048db360c6c9ab5d788f24ec6ffb98a

Message:

t push origin "spielwiese"Merge branch 'fingolfin-mh/gfanlib-check' into spielwiese

File:

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

m4/gfanlib-check.m4

@@ -20 +20 @@
         AC_MSG_WARN([Error, setoper.h is missing!])
  fi
-
- AC_MSG_CHECKING([whether libcddgmp is usable])
 
 # Check whether --with-gmp was given.
@@ -83 +81 @@
  LIBS=$BACKUP_LIBS
 
+ AC_MSG_CHECKING([whether libcddgmp is usable])
  if test "x$PASSED_ALL_TESTS_FOR_GFANLIB" = x1; then
   AC_MSG_RESULT([yes])
@@ -93 +92 @@
   fi
  fi
- AC_MSG_RESULT(no)
 
  AC_SUBST(CDDGMPLDFLAGS)