Changeset 04975c in git for m4


Ignore:
Timestamp:
May 5, 2020, 3:35:01 PM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '854dc24078c9c998b9967f75c5e6fbe0e43b963e')
Children:
118b3cb75dcb9ca8f490ce851c481187d401a005
Parents:
173523fa27cab3fd82646b4d583276c957bf7426
Message:
fix: support static libflint
File:
1 edited

Legend:

Unmodified
Added
Removed

  • m4/flint-check.m4

    r173523f r04975c  
    4141if test "$FLINT_HOME_PATH" = "$DEFAULT_CHECKING_PATH" ; then
    4242        FLINT_CFLAGS=""
    43         FLINT_LIBS="-lflint -lmpfr"
     43        FLINT_LIBS="-lflint -lmpfr -lgmp"
    4444
    4545        # we suppose that mpfr and mpir to be in the same place or available by default
    … …  
    6363
    6464                FLINT_CFLAGS="-I${FLINT_HOME}/include/"
    65                 FLINT_LIBS="-L${FLINT_HOME}/lib -lflint -lmpfr"
     65                FLINT_LIBS="-L${FLINT_HOME}/lib -lflint -lmpfr -lgmp"
    6666
    6767        # we suppose that mpfr and mpir to be in the same place or available by default
Note: See TracChangeset for help on using the changeset viewer.