Changeset d58ff10 in git


Ignore:
Timestamp:
Feb 17, 2021, 2:18:59 PM (2 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
Children:
764c0f9b57d8bb25e8e6b51b07553f9545132cf4
Parents:
8e9e133bca4dc0acf24227cc49f9d6416c04645a
git-author:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2021-02-17 14:18:59+01:00
git-committer:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2021-02-17 14:25:50+01:00
Message:
configure: add /opt/homebrew in search path
Files:
6 edited

Legend:

Unmodified
Added
Removed

  • configure.ac

    r8e9e13 rd58ff10  
    9292AC_ARG_WITH([gmp],[AS_HELP_STRING([--with-gmp=path],
    9393                    [provide a non-standard location of gmp])])
    94 DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local"
     94DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local /opt/homebrew"
    9595GMP_HOME_PATH="${DEFAULT_CHECKING_PATH}"
    9696if test "$with_gmp" = yes ; then

  • factory/configure.ac

    r8e9e13 rd58ff10  
    211211AC_ARG_WITH([gmp],[AS_HELP_STRING([--with-gmp=path],
    212212                    [provide a non-standard location of gmp])])
    213 DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local"
     213DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local /opt/homebrew"
    214214if test "${with_gmp+set}" = set; then :
    215215  if test "$with_gmp" = yes ; then

  • m4/ccluster-check.m4

    r8e9e13 rd58ff10  
    33AC_DEFUN([LB_CHECK_CCLUSTER],
    44[
    5 DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local"
     5DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local /opt/homebrew"
    66
    77AC_ARG_WITH(ccluster,

  • m4/flint-check.m4

    r8e9e13 rd58ff10  
    1414AC_DEFUN([LB_CHECK_FLINT],
    1515[
    16 DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local"
     16DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local /opt/homebrew"
    1717
    1818AC_ARG_WITH(flint,

  • m4/gfanlib-check.m4

    r8e9e13 rd58ff10  
    2727
    2828    # Check whether --with-gmp was given.
    29     DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local"
     29    DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local /opt/homebrew"
    3030    GMP_HOME_PATH="${DEFAULT_CHECKING_PATH}"
    3131    if test "$with_gmp" = yes ; then

  • m4/ntl-check.m4

    r8e9e13 rd58ff10  
    1616AC_DEFUN([LB_CHECK_NTL],
    1717[
    18 DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local"
     18DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local /opt/homebrew"
    1919
    2020AC_ARG_WITH(ntl,
Note: See TracChangeset for help on using the changeset viewer.