diff options
author | Tim Biermann <tbier@posteo.de> | 2019-08-11 11:13:55 +0200 |
---|---|---|
committer | Tim Biermann <tbier@posteo.de> | 2019-08-11 11:13:55 +0200 |
commit | e75f9cbe78815229067e790ed000424b42941a05 (patch) | |
tree | 02589746beaaf0553daf1a152ed7547e75ba2618 /glpk | |
parent | 1d086144fb6e4252a77595fafd8402a3abbc26d5 (diff) | |
download | contrib-e75f9cbe78815229067e790ed000424b42941a05.tar.gz contrib-e75f9cbe78815229067e790ed000424b42941a05.tar.xz |
glpk: initial commit, version 4.65
Diffstat (limited to 'glpk')
-rw-r--r-- | glpk/.footprint | 11 | ||||
-rw-r--r-- | glpk/.signature | 6 | ||||
-rw-r--r-- | glpk/Pkgfile | 23 | ||||
-rw-r--r-- | glpk/glpk-remove-warnings.patch | 19 |
4 files changed, 59 insertions, 0 deletions
diff --git a/glpk/.footprint b/glpk/.footprint new file mode 100644 index 000000000..444f1f85c --- /dev/null +++ b/glpk/.footprint @@ -0,0 +1,11 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/bin/ +-rwxr-xr-x root/root usr/bin/glpsol +drwxr-xr-x root/root usr/include/ +-rw-r--r-- root/root usr/include/glpk.h +drwxr-xr-x root/root usr/lib/ +-rw-r--r-- root/root usr/lib/libglpk.a +-rwxr-xr-x root/root usr/lib/libglpk.la +lrwxrwxrwx root/root usr/lib/libglpk.so -> libglpk.so.40.3.0 +lrwxrwxrwx root/root usr/lib/libglpk.so.40 -> libglpk.so.40.3.0 +-rwxr-xr-x root/root usr/lib/libglpk.so.40.3.0 diff --git a/glpk/.signature b/glpk/.signature new file mode 100644 index 000000000..d1cffa2e0 --- /dev/null +++ b/glpk/.signature @@ -0,0 +1,6 @@ +untrusted comment: verify with /etc/ports/contrib.pub +RWSagIOpLGJF3xzZYSiGqkS+jzCY0bz+WjZ/4/pFxYaE+fNLecm3nOVTwpszkADQ+p8KJ28mYr4rUQ5BEHu0Frk1+YVnW/2v6AE= +SHA256 (Pkgfile) = 88a12659ca200e99d5cc9e5c7b60d9f244447cf6434497e893a030ed85bdd328 +SHA256 (.footprint) = 5bf094461f745cf3a657f31eff66efaac32a41845594450bb3969c3ac585dcc9 +SHA256 (glpk-4.65.tar.gz) = 4281e29b628864dfe48d393a7bedd781e5b475387c20d8b0158f329994721a10 +SHA256 (glpk-remove-warnings.patch) = d1d9d944072f1955c5dbc075259443b48c45275f4dde3f11ba45b59474f9ac07 diff --git a/glpk/Pkgfile b/glpk/Pkgfile new file mode 100644 index 000000000..84c15a362 --- /dev/null +++ b/glpk/Pkgfile @@ -0,0 +1,23 @@ +# Description: GNU Linear Programming Kit : solve LP, MIP and other problems. +# URL: https://www.gnu.org/software/glpk/glpk.html +# Maintainer: Tim Biermann, tbier at posteo dot de +# Depends on: libgmp + +name=glpk +version=4.65 +release=1 +source=(https://ftp.gnu.org/gnu/glpk/$name-$version.tar.gz glpk-remove-warnings.patch) + +build() { + cd $name-$version + find -L . \ + \( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 \ + -o -perm 511 \) -exec chmod 755 {} \; -o \ + \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \ + -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; + patch -p1 -i ../glpk-remove-warnings.patch + ./configure --prefix=/usr \ + --with-gmp + make + make DESTDIR=$PKG install +} diff --git a/glpk/glpk-remove-warnings.patch b/glpk/glpk-remove-warnings.patch new file mode 100644 index 000000000..0fec7f8b7 --- /dev/null +++ b/glpk/glpk-remove-warnings.patch @@ -0,0 +1,19 @@ +--- glpk-4.65/src/draft/glpios03.c.orig 2018-08-18 07:02:32.165492793 +0000 ++++ glpk-4.65/src/draft/glpios03.c 2018-08-18 07:03:47.775715038 +0000 +@@ -920,13 +920,10 @@ + #if 0 + ((glp_iocp *)T->parm)->msg_lev = GLP_MSG_DBG; + #endif +-#if 1 /* 16/III-2016 */ ++#if 1 /* 01/III-2018 */ + if (((glp_iocp *)T->parm)->flip) +-#if 0 /* 20/I-2018 */ +- xprintf("WARNING: LONG-STEP DUAL SIMPLEX WILL BE USED\n"); +-#else +- xprintf("Long-step dual simplex will be used\n"); +-#endif ++ if (T->parm->msg_lev >= GLP_MSG_ALL) ++ xprintf("Long-step dual simplex will be used\n"); + #endif + /* on entry to the B&B driver it is assumed that the active list + contains the only active (i.e. root) subproblem, which is the |