Changeset 0fd171 in git

Timestamp:

Apr 27, 2012, 4:27:12 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

a034968a1bff5f6e4e9ad126551a2e9a377d9f60

Parents:

fe02b179f9d0d756e5341889d22afec48083e992

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-04-27 16:27:12+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-04-27 16:29:07+02:00

Message:

no flint detection/usage by default

NOTE: using flint leads to compiling problems at the moment - it should not be used by default

File:

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

m4/flint-check.m4

@@ -30 +30 @@
               elif test "$withval" != no ; then
                         FLINT_HOME_PATH="$withval"
-             fi],
-             [FLINT_HOME_PATH="${DEFAULT_CHECKING_PATH}"])
+             fi], )
+#            [FLINT_HOME_PATH="${DEFAULT_CHECKING_PATH}"])
 
 min_flint_version=ifelse([$1], ,2.3,$1)