Changeset 16223f in git

Timestamp:

Dec 18, 2020, 9:38:30 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'fc741b6502fd8a97288eaa3eba6e5220f3c3df87')

Children:

807b30762106daa6f340e738439e5d0147e9a2f9

Parents:

fc474adaaaf6b77f5db457fb9271fafa54464f53bd6f95c1de88e955376dc98f4153ef21f9c427f4

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2020-12-18 21:38:30+01:00

git-committer:

GitHub <noreply@github.com>2020-12-18 21:38:30+01:00

Message:

Merge pull request #1034 from antonio-rojas/patch-1

Fix broken GMP_HOME check

File:

• factory/configure.ac (modified) (1 diff)

factory/configure.ac

@@ -226 +226 @@
 do
   if test "x$GMP_HOME" != "x/usr"; then
-    GMP_CPPFLAGS="-I${GMP_HOME}/include"
-    GMP_LIBS="-L${GMP_HOME}/lib -Wl,-rpath -Wl,${GMP_HOME}/lib -lgmp"
+    if test -e ${GMP_HOME}/include/gmp.h; then
+      GMP_CPPFLAGS="-I${GMP_HOME}/include"
+      GMP_LIBS="-L${GMP_HOME}/lib -Wl,-rpath -Wl,${GMP_HOME}/lib -lgmp"
+    fi
   else
     GMP_CPPFLAGS=""