Changeset d58ff10 in git for configure.ac
- Timestamp:
- Feb 17, 2021, 2:18:59 PM (3 years ago)
- Branches:
- (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
- 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
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
configure.ac
r8e9e13 rd58ff10 92 92 AC_ARG_WITH([gmp],[AS_HELP_STRING([--with-gmp=path], 93 93 [provide a non-standard location of gmp])]) 94 DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local "94 DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local /opt/homebrew" 95 95 GMP_HOME_PATH="${DEFAULT_CHECKING_PATH}" 96 96 if test "$with_gmp" = yes ; then
Note: See TracChangeset
for help on using the changeset viewer.