Changeset 3b920ed in git for m4/ccluster-check.m4

Timestamp:

Apr 6, 2021, 10:56:03 AM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38077648e7239f98078663eb941c3c979511150a')

Children:

c69c1449f9256724d4c9e0ac18c7524a65d69389

Parents:

950a9492a285ef0e171fff1212d40c3d1e4ff276d66b187a28e7b886166363f1d7cba11f4c3270e7

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2021-04-06 10:56:03+02:00

git-committer:

GitHub <noreply@github.com>2021-04-06 10:56:03+02:00

Message:

Merge pull request #1080 from mkoeppe/DEFAULT_CHECKING_PATH_try_default_flags_first

m4/*-check.m4: Check DEFAULTS first, following flint-check.m4

File:

• m4/ccluster-check.m4 (modified) (1 diff)

m4/ccluster-check.m4

@@ -8 +8 @@
 [  --with-ccluster= <path>|yes Use ccluster library.  ],
                 [if test "$withval" = yes ; then
-                        CCLUSTER_HOME_PATH="${DEFAULT_CHECKING_PATH}"
+                        CCLUSTER_HOME_PATH="${DEFAULT_CHECKING_PATH} /usr"
                  elif test "$withval" != no ; then
-                        CCLUSTERMP_HOME_PATH="$withval"
+                        CCLUSTER_HOME_PATH="$withval"
                 fi],
-                [CCLUSTER_HOME_PATH="${DEFAULT_CHECKING_PATH}"])
+                [CCLUSTER_HOME_PATH="${DEFAULT_CHECKING_PATH} /usr"])
 
 dnl Check for existence