polylib-gmp
polylib
scanned 2026-09-17 00:27:14.276658
The source is a tarball from the project's official academic host for building the library itself; this is a normal AUR build pattern, and the host, while not whitelisted, is plausibly the project's own.
Triggered rules
llm_review
The static rules flagged this MEDIUM, but an AI model (qwen/qwen3-235b-a22b-2507) reviewed the full PKGBUILD and judged it LOW (confidence 95%): The source is a tarball from the project's official academic host for building the library itself; this is a normal AUR build pattern, and the host, while not whitelisted, is plausibly the project's own.
1 higher static finding superseded - not the current verdict (shown for transparency)
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# Maintainer: Hans-Nikolai Viessmann <hv15 AT hw.ac.uk>
# Category: science
pkgname=('polylib' 'polylib-gmp')
pkgbase='polylib'
pkgver='6.01'
pkgrel=1
pkgdesc='A library of polyhedral functions'
arch=('x86_64')
url='http://icps.u-strasbg.fr/polylib/'
license=('GPL-3.0-or-later')
source=("http://icps.u-strasbg.fr/polylib/polylib_src/$pkgname-$pkgver.tar.gz"
'fix-tests.patch')
sha256sums=('ba2f42aa2b342a565c346e717c4a4bdc08c16ca4d113eda6a7d4e95d978343d3'
'8c51bb4e15ae4c4685dd53dbb0e0bf8ff89c7a98b79bd85ed3a1f03f821b1215')
prepare() {
cd "$srcdir/$pkgbase-$pkgver"
# resolves issues with testCompressParms functions being
# defined after the main function...
patch -p1 < $srcdir/fix-tests.patch
}
build() {
cd "$srcdir/$pkgbase-$pkgver"
msg "compiling normal version of Polylib"
[ -d "polylib" ] || mkdir "polylib"
cd polylib
../configure --prefix=/usr --without-libgmp
make
cd ..
msg "compiling GMP version of Polylib"
[ -d "polylibgmp" ] || mkdir "polylibgmp"
cd polylibgmp
../configure --prefix=/usr --with-libgmp
make
}
check() {
cd "$srcdir/$pkgbase-$pkgver"
cd polylib
make check
cd ../polylibgmp
make check
}
package_polylib() {
depends=('glibc')
provides=('libpolylib32.so' 'libpolylib64.so')
cd "$srcdir/$pkgbase-$pkgver/polylib"
make DESTDIR="$pkgdir" install
}
package_polylib-gmp() {
depends=('glibc' 'gmp' "polylib>=$pkgver")
provides=('libpolylibgmp.so')
cd "$srcdir/$pkgbase-$pkgver/polylibgmp"
make DESTDIR="$pkgdir" install-exec
cd "$pkgdir"
# Nasty rename to ensure we can co-exist with polylib
mv usr/bin/c2p usr/bin/c2p-gmp
mv usr/bin/disjoint_union_adj usr/bin/disjoint_union_adj-gmp
mv usr/bin/disjoint_union_sep usr/bin/disjoint_union_sep-gmp
mv usr/bin/ehrhart_lower_bound usr/bin/ehrhart_lower_bound-gmp
mv usr/bin/ehrhart_quick_apx usr/bin/ehrhart_quick_apx-gmp
mv usr/bin/ehrhart_upper_bound usr/bin/ehrhart_upper_bound-gmp
mv usr/bin/findv usr/bin/findv-gmp
mv usr/bin/r2p usr/bin/r2p-gmp
}
Changes since previous scan
--- PKGBUILD @ 2026-09-05 00:16+++ PKGBUILD @ 2026-09-17 00:27@@ -2,15 +2,15 @@ # Category: science pkgname=('polylib' 'polylib-gmp') pkgbase='polylib'-pkgver='5.22.8'-pkgrel=2+pkgver='6.01'+pkgrel=1 pkgdesc='A library of polyhedral functions' arch=('x86_64') url='http://icps.u-strasbg.fr/polylib/' license=('GPL-3.0-or-later') source=("http://icps.u-strasbg.fr/polylib/polylib_src/$pkgname-$pkgver.tar.gz" 'fix-tests.patch')-sha256sums=('98b7578d13c374b7c88bd41ed753bbdeeb49f7bb71a75f0e8366797ae3dc800d'+sha256sums=('ba2f42aa2b342a565c346e717c4a4bdc08c16ca4d113eda6a7d4e95d978343d3' '8c51bb4e15ae4c4685dd53dbb0e0bf8ff89c7a98b79bd85ed3a1f03f821b1215') prepare() {Scan history
| Scanned at (UTC) | Severity | Rules |
|---|---|---|
| 2026-09-17 00:27:14 | Low | 2 |
| 2026-09-16 00:03:17 | Low | 2 |
| 2026-09-15 00:25:31 | Low | 2 |
| 2026-09-14 00:27:57 | Low | 2 |
| 2026-09-13 00:19:54 | Low | 2 |
| 2026-09-12 00:25:17 | Low | 2 |
| 2026-09-11 00:19:22 | Low | 2 |
| 2026-09-10 00:22:44 | Low | 2 |
| 2026-09-09 00:04:09 | Low | 2 |
| 2026-09-08 00:18:08 | Low | 2 |
| 2026-09-07 00:30:15 | Low | 2 |
| 2026-09-06 00:17:06 | Low | 2 |
| 2026-09-05 16:00:23 | Medium | 1 |
| 2026-09-05 00:16:27 | Low | 2 |
| 2026-09-04 00:03:13 | Low | 2 |
| 2026-09-03 00:15:47 | Low | 2 |
| 2026-09-02 00:02:31 | Low | 2 |
| 2026-09-01 00:11:19 | Low | 2 |
| 2026-08-31 00:19:57 | Low | 2 |
| 2026-08-30 00:04:14 | Low | 2 |