polylib
maintainer hv15
· 1 votes
· scanned 2026-08-03 00:08:14.047287
LOW
View on AUR ↗
Why flagged
The source is a tarball from the project's official academic host, building the project's own source code, which is normal for AUR packages; the non-whitelisted host is plausibly project-owned, and no untrusted executables are run.
Triggered rules
LOW
AI review downgraded a static finding
llm_review
The static rules flagged this MEDIUM, but an AI model (qwen/qwen3-235b-a22b-07-25) reviewed the full PKGBUILD and judged it LOW (confidence 95%): The source is a tarball from the project's official academic host, building the project's own source code, which is normal for AUR packages; the non-whitelisted host is plausibly project-owned, and no untrusted executables are run.
1 higher static finding superseded - not the current verdict (shown for transparency)
MEDIUM
source=() URL on a non-standard host
source_untrusted_domain
One or more source=() URLs point to a host outside the trusted allowlist (github.com, gitlab.com, codeberg.org, pypi.org, …).
-
PKGBUILD:11
source=("http://icps.u-strasbg.fr/polylib/polylib_src/$pkgname-$pkgver.tar.gz"
PKGBUILD
1 offending line(s) highlighted
1
# Maintainer: Hans-Nikolai Viessmann <hv15 AT hw.ac.uk>
2
# Category: science
3
pkgname=('polylib' 'polylib-gmp')
4
pkgbase='polylib'
5
pkgver='5.22.8'
6
pkgrel=2
7
pkgdesc='A library of polyhedral functions'
8
arch=('x86_64')
9
url='http://icps.u-strasbg.fr/polylib/'
10
license=('GPL-3.0-or-later')
11
source=("http://icps.u-strasbg.fr/polylib/polylib_src/$pkgname-$pkgver.tar.gz"
12
'fix-tests.patch')
13
sha256sums=('98b7578d13c374b7c88bd41ed753bbdeeb49f7bb71a75f0e8366797ae3dc800d'
14
'8c51bb4e15ae4c4685dd53dbb0e0bf8ff89c7a98b79bd85ed3a1f03f821b1215')
15
16
prepare() {
17
cd "$srcdir/$pkgbase-$pkgver"
18
19
# resolves issues with testCompressParms functions being
20
# defined after the main function...
21
patch -p1 < $srcdir/fix-tests.patch
22
}
23
24
build() {
25
cd "$srcdir/$pkgbase-$pkgver"
26
27
msg "compiling normal version of Polylib"
28
[ -d "polylib" ] || mkdir "polylib"
29
cd polylib
30
../configure --prefix=/usr --without-libgmp
31
make
32
33
cd ..
34
msg "compiling GMP version of Polylib"
35
[ -d "polylibgmp" ] || mkdir "polylibgmp"
36
cd polylibgmp
37
../configure --prefix=/usr --with-libgmp
38
make
39
}
40
41
check() {
42
cd "$srcdir/$pkgbase-$pkgver"
43
44
cd polylib
45
make check
46
47
cd ../polylibgmp
48
make check
49
}
50
51
package_polylib() {
52
depends=('glibc')
53
provides=('libpolylib32.so' 'libpolylib64.so')
54
55
cd "$srcdir/$pkgbase-$pkgver/polylib"
56
make DESTDIR="$pkgdir" install
57
}
58
59
package_polylib-gmp() {
60
depends=('glibc' 'gmp' "polylib>=$pkgver")
61
provides=('libpolylibgmp.so')
62
63
cd "$srcdir/$pkgbase-$pkgver/polylibgmp"
64
make DESTDIR="$pkgdir" install-exec
65
66
cd "$pkgdir"
67
# Nasty rename to ensure we can co-exist with polylib
68
mv usr/bin/c2p usr/bin/c2p-gmp
69
mv usr/bin/disjoint_union_adj usr/bin/disjoint_union_adj-gmp
70
mv usr/bin/disjoint_union_sep usr/bin/disjoint_union_sep-gmp
71
mv usr/bin/ehrhart_lower_bound usr/bin/ehrhart_lower_bound-gmp
72
mv usr/bin/ehrhart_quick_apx usr/bin/ehrhart_quick_apx-gmp
73
mv usr/bin/ehrhart_upper_bound usr/bin/ehrhart_upper_bound-gmp
74
mv usr/bin/findv usr/bin/findv-gmp
75
mv usr/bin/r2p usr/bin/r2p-gmp
76
}
77
Scan history
| Scanned at (UTC) | Severity | Rules |
|---|---|---|
| 2026-08-03 00:08:14 | LOW | 2 |
| 2026-08-02 00:16:08 | LOW | 2 |
| 2026-08-01 00:11:18 | LOW | 2 |
| 2026-07-31 00:14:10 | LOW | 2 |
| 2026-07-30 00:17:23 | LOW | 2 |
| 2026-07-29 00:25:53 | LOW | 2 |
| 2026-07-28 00:07:28 | LOW | 2 |
| 2026-07-27 00:24:32 | LOW | 2 |
| 2026-07-26 00:07:32 | LOW | 2 |
| 2026-07-25 00:13:44 | LOW | 2 |
| 2026-07-24 00:02:28 | LOW | 2 |
| 2026-07-23 00:14:47 | LOW | 2 |
| 2026-07-22 00:29:32 | LOW | 2 |
| 2026-07-21 00:24:15 | LOW | 2 |
| 2026-07-20 00:19:49 | LOW | 2 |
| 2026-07-19 00:17:08 | LOW | 2 |
| 2026-07-18 00:14:48 | LOW | 2 |
| 2026-07-17 00:06:16 | LOW | 2 |
| 2026-07-16 00:05:41 | LOW | 2 |
| 2026-07-15 00:09:25 | LOW | 2 |