diff options
author | Tim Biermann <tbier@posteo.de> | 2019-08-11 11:13:46 +0200 |
---|---|---|
committer | Tim Biermann <tbier@posteo.de> | 2019-08-11 11:13:46 +0200 |
commit | f732491febc442c1f9edfca1095e4754b78b1c02 (patch) | |
tree | ca07af0fe47420af1cc84157666e2aedba4a1386 /coin-or-cgl/Pkgfile | |
parent | d99100d0f614197ecb598702f931f63e168b307e (diff) | |
download | contrib-f732491febc442c1f9edfca1095e4754b78b1c02.tar.gz contrib-f732491febc442c1f9edfca1095e4754b78b1c02.tar.xz |
coin-or-cgl: initial commit, version 0.60.2
Diffstat (limited to 'coin-or-cgl/Pkgfile')
-rw-r--r-- | coin-or-cgl/Pkgfile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/coin-or-cgl/Pkgfile b/coin-or-cgl/Pkgfile new file mode 100644 index 000000000..c236a9316 --- /dev/null +++ b/coin-or-cgl/Pkgfile @@ -0,0 +1,26 @@ +# Description: COIN-OR Cut Generation Library +# URL: https://projects.coin-or.org/Cgl +# Maintainer: Tim Biermann, tbier at posteo dot de +# Depends on: coin-or-clp + +name=coin-or-cgl +version=0.60.2 +release=1 +source=(https://www.coin-or.org/download/source/Cgl/Cgl-${version}.tgz) + +build() { + cd Cgl-$version/Cgl + COIN_SKIP_PROJECTS="Sample" \ + ./configure --prefix=/usr \ + --with-osi-lib="$(pkg-config --libs osi)" \ + --with-osi-incdir="/usr/include/coin/" \ + --with-clp-lib="$(pkg-config --libs clp)" \ + --with-clp-incdir="/usr/include/coin/" \ + --with-coinutils-lib="$(pkg-config --libs coinutils)" \ + --with-coinutils-incdir="/usr/include/coin/" \ + --enable-dependency-linking + make + PKG_CONFIG_LIBDIR="$PKG"/usr/lib/pkgconfig/ \ + make DESTDIR="$PKG" install + rm -fr $PKG/usr/share/coin/doc +} |