Changeset 71ef94c in git for configure.ac


Ignore:
Timestamp:
Mar 24, 2021, 10:48:06 PM (3 years ago)
Author:
Matthias Koeppe <mkoeppe@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
281f9f2840a2fc658c50cae0b1a737435786544d
Parents:
750639f8cc98808c3c8ffa72a6e21ecb6a3d6078
Message:
configure.ac, {factory,libpolys}/configure.ac, m4/ccluster-check.m4, m4/gfanlib-check.m4: Options --with-XXX=DIR should override, not prepend to DEFAULT_CHECKING_PATH

This change makes the handling of these options consistent with m4/flint-check.m4 and m4/ntl-check.m4

Prior to this change, because the search loops do not use break, the explicitly passed directory DIR is not respected if an installation in one of the directories listed in DEFAULT_CHECKING_PATH is found.
File:
1 edited

Legend:

Unmodified
Added
Removed

  • configure.ac

    r750639 r71ef94c  
    101101        GMP_HOME_PATH="${DEFAULT_CHECKING_PATH}"
    102102elif test "$with_gmp" != no ; then
    103         GMP_HOME_PATH="$with_gmp ${DEFAULT_CHECKING_PATH}"
     103        GMP_HOME_PATH="$with_gmp"
    104104fi
    105105
    … …  
    113113      GMP_CPPFLAGS="-I${GMP_HOME}/include"
    114114      GMP_LIBS="-L${GMP_HOME}/lib -Wl,-rpath -Wl,${GMP_HOME}/lib -lgmp"
     115      break
    115116    fi
    116117  fi
Note: See TracChangeset for help on using the changeset viewer.