Changeset e37c4e in git


Ignore:
Timestamp:
Jan 14, 2021, 11:17:30 AM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd25190065115c859833252500a64cfb7b11e3a50')
Children:
0dcd2cb20240e37164a8b32acbab2c46d567ffb6
Parents:
d9a25e7556af720f64d4a9758159e506bb987fb6
Message:
configure: --with-gmp
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • configure.ac

    rd9a25e7 re37c4e  
    9090
    9191# Check whether --with-gmp was given.
     92AC_ARG_WITH([gmp],[AS_HELP_STRING([--with-gmp=path],
     93                    [provide a non-standard location of gmp])])
    9294DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local"
    9395GMP_HOME_PATH="${DEFAULT_CHECKING_PATH}"
  • factory/configure.ac

    rd9a25e7 re37c4e  
    209209
    210210# Check whether --with-gmp was given.
     211AC_ARG_WITH([gmp],[AS_HELP_STRING([--with-gmp=path],
     212                    [provide a non-standard location of gmp])])
    211213DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local"
    212214if test "${with_gmp+set}" = set; then :
  • libpolys/configure.ac

    rd9a25e7 re37c4e  
    4848
    4949# Check whether --with-gmp was given.
     50AC_ARG_WITH([gmp],[AS_HELP_STRING([--with-gmp=path],
     51                    [provide a non-standard location of gmp])])
    5052if test "${with_gmp+set}" = set; then :
    5153  if test "$with_gmp" = yes ; then
Note: See TracChangeset for help on using the changeset viewer.