blob: 0b9c9c684c55e5bade59e815d1333086237e62ae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
# Maintainer: Julian Pollinger <julian@pollinger.dev>
pkgname=glpk-cut-log
pkgdesc="A patched version of GLPK for cvc5"
pkgver=1.2.0
pkgrel=1
_glpkver=4.52
arch=('x86_64')
url="https://github.com/cvc5/cvc5"
license=('GPL3')
depends=()
makedepends=('bash' 'automake' 'autoconf' 'libtool' 'patch')
source=("$url/archive/refs/tags/cvc5-$pkgver.tar.gz" "https://ftp.gnu.org/gnu/glpk/glpk-$_glpkver.tar.gz")
sha256sums=('7877b1f89f8b6a6bcc643d9ab1c60535911f6a30e32233eafa9db8a3eae5e34e'
'9a5dab356268b4f177c33e00ddf8164496dc2434e83bd1114147024df983a3bb')
conflicts=('glpk')
provides=("glpk=$pkgver")
prepare() {
_patch_file="$srcdir/cvc5-cvc5-$pkgver/cmake/deps-utils/glpk-cut-log.patch"
cd "$srcdir/glpk-$_glpkver"
patch -p1 < "$_patch_file"
}
build() {
cd "$srcdir/glpk-$_glpkver"
libtoolize
aclocal
autoheader
autoconf
automake --add-missing
./configure --prefix="$pkgdir/usr"
make
}
package() {
cd "$srcdir/glpk-$_glpkver"
make install
}
|