diff options
author | Remko van der Vossen | 2016-03-22 20:15:32 +0100 |
---|---|---|
committer | Remko van der Vossen | 2016-03-22 20:15:32 +0100 |
commit | a5f062785fe1d448bcfd8ccb509374fb1694bb3a (patch) | |
tree | a604d014213f83d297f00c300a138c068b0f2513 | |
parent | 3e4524ceeaae096cd904c106d671492fc313c876 (diff) |
gmp: turned staged install off
staged install fails because awk depends on gmp
-rwxr-xr-x | libs/gmp/DETAILS | 1 | ||||
-rw-r--r-- | libs/gmp/HISTORY | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/libs/gmp/DETAILS b/libs/gmp/DETAILS index b2b7cfb2e8..4b9294e130 100755 --- a/libs/gmp/DETAILS +++ b/libs/gmp/DETAILS @@ -13,6 +13,7 @@ SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION" SOURCE2_URL[0]=$GNU_URL/$SPELL/$SOURCE2 SOURCE_GPG=gnu.gpg:$SOURCE2:UPSTREAM_KEY SOURCE2_IGNORE=signature + STAGED_INSTALL=off LICENSE[0]=LGPL WEB_SITE=http://gmplib.org/ ENTERED=20010922 diff --git a/libs/gmp/HISTORY b/libs/gmp/HISTORY index fd19a38f29..3ad3dae242 100644 --- a/libs/gmp/HISTORY +++ b/libs/gmp/HISTORY @@ -1,3 +1,6 @@ +2016-03-22 Remko van der Vossen <wich@sourcemage.org> + * DETAILS: turned staged install off, staged install fails because awk depends on gmp + 2016-01-31 Ladislav Hagara <hgr@vabo.cz> * DETAILS: 6.1.0 (devel) |