summaryrefslogtreecommitdiff
path: root/coin-or-cgl/Pkgfile
diff options
context:
space:
mode:
authorTim Biermann <tbier@posteo.de>2019-08-11 11:13:46 +0200
committerTim Biermann <tbier@posteo.de>2019-08-11 11:13:46 +0200
commitf732491febc442c1f9edfca1095e4754b78b1c02 (patch)
treeca07af0fe47420af1cc84157666e2aedba4a1386 /coin-or-cgl/Pkgfile
parentd99100d0f614197ecb598702f931f63e168b307e (diff)
downloadcontrib-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/Pkgfile26
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
+}

Generated by cgit