blob: 4556babcf58229d038a2af2091d7049b0e502311 (
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.1.2
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=('f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a'
'9a5dab356268b4f177c33e00ddf8164496dc2434e83bd1114147024df983a3bb')
conflicts=('glpk')
provides=("glpk=$pkgver")
prepare() {
_patch_file="$srcdir/cvc5-cvc5-$pkgver/contrib/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
}
|