Changeset 71ef94c in git for factory

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:

• factory/configure.ac (modified) (1 diff)

factory/configure.ac

@@ -216 +216 @@
         GMP_HOME_PATH="${DEFAULT_CHECKING_PATH}"
    elif test "$with_gmp" != no ; then
-        GMP_HOME_PATH="$with_gmp ${DEFAULT_CHECKING_PATH}"
+        GMP_HOME_PATH="$with_gmp"
     fi
 else