Changeset 4979482 in git


Ignore:
Timestamp:
Jul 17, 2013, 3:45:29 PM (10 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')
Children:
4ff18bd68e92532101aecee0092071f83f759d95
Parents:
13a03bf0c76a48e756ec7fbd4e7c57a45432e301
git-author:
Martin Lee <martinlee84@web.de>2013-07-17 15:45:29+02:00
git-committer:
Martin Lee <martinlee84@web.de>2013-07-22 18:10:47+02:00
Message:
chg: check for FLINT in default places by default
File:
1 edited

Legend:

Unmodified
Added
Removed

  • m4/flint-check.m4

    r13a03b r4979482  
    3030              elif test "$withval" != no ; then
    3131                        FLINT_HOME_PATH="$withval"
    32              fi], )
    33 #            [FLINT_HOME_PATH="${DEFAULT_CHECKING_PATH}"])
     32             fi],
     33             [FLINT_HOME_PATH="${DEFAULT_CHECKING_PATH}"])
    3434
    3535min_flint_version=ifelse([$1], ,2.3,$1)
Note: See TracChangeset for help on using the changeset viewer.