Changeset d58ff10 in git for factory/configure.ac
- Timestamp:
- Feb 17, 2021, 2:18:59 PM (3 years ago)
- Branches:
- (u'spielwiese', '91e5db82acc17434e4062bcfa44e6efa7d41fd30')
- 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
-
factory/configure.ac
r8e9e13 rd58ff10 211 211 AC_ARG_WITH([gmp],[AS_HELP_STRING([--with-gmp=path], 212 212 [provide a non-standard location of gmp])]) 213 DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local "213 DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local /opt/homebrew" 214 214 if test "${with_gmp+set}" = set; then : 215 215 if test "$with_gmp" = yes ; then
Note: See TracChangeset
for help on using the changeset viewer.