Changeset 605375 in git for m4/flint-check.m4


Ignore:
Timestamp:
Apr 3, 2021, 2:11:27 AM (3 years ago)
Author:
Matthias Koeppe <mkoeppe@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd08f5f0bb3329b8ca19f23b74cb1473686415c3a')
Children:
a6066346d52c8c0689e6c1366c1a4d6badfcb3c1
Parents:
963d718ed5ff6c9cc467e25f89b32b3927239f5a
Message:
m4/default_checking_path.m4: New, use macro SING_DEFAULT_CHECKING_PATH to remove duplication of its setting
File:
1 edited

Legend:

Unmodified
Added
Removed

  • m4/flint-check.m4

    r963d71 r605375  
    1414AC_DEFUN([LB_CHECK_FLINT],
    1515[
    16 DEFAULT_CHECKING_PATH="/opt/homebrew /opt/local /sw /usr/local /usr"
     16AC_REQUIRE([SING_DEFAULT_CHECKING_PATH])
    1717
    1818AC_ARG_WITH(flint,
Note: See TracChangeset for help on using the changeset viewer.