relacy-git
LOW
maintainer RubenKelevra
1 votes
scanned 2026-09-06 09:10:50.549465
Why flagged
Uploaded within the last 14 days with 2 or fewer community votes — little peer review so far.
Triggered rules
Low
Few votes, recently uploaded
zero_votes_recent
Uploaded within the last 14 days with 2 or fewer community votes — little peer review so far.
PKGBUILD
1
# Maintainer: @RubenKelevra <rubenkelevra@gmail.com>
2
3
pkgname='relacy-git'
4
pkgver=r53.2c87447
5
pkgrel=1
6
pkgdesc='Meticulous synchronization algorithm verifier for relaxed memory models'
7
arch=('any')
8
url='https://github.com/dvyukov/relacy'
9
license=('BSD-3-Clause')
10
makedepends=(
11
'cmake'
12
'git'
13
)
14
provides=("relacy=${pkgver}")
15
conflicts=('relacy')
16
source=("git+${url}.git")
17
b2sums=('SKIP')
18
19
pkgver() {
20
cd -- "${srcdir}/relacy" || return 1
21
printf 'r%s.%s' "$(git rev-list --count HEAD)" "$(git rev-parse --short=7 HEAD)"
22
}
23
24
build() {
25
local cmake_options=(
26
-B "${srcdir}/build"
27
-S "${srcdir}/relacy"
28
-DCMAKE_BUILD_TYPE=None
29
-DCMAKE_INSTALL_PREFIX=/usr
30
-DCMAKE_INSTALL_LIBDIR=lib
31
-DRELACY_BUILD_TESTS=ON
32
-DRELACY_BUILD_EXAMPLES=ON
33
)
34
35
cmake "${cmake_options[@]}"
36
cmake --build "${srcdir}/build"
37
}
38
39
check() {
40
ctest --test-dir "${srcdir}/build" --output-on-failure
41
}
42
43
package() {
44
DESTDIR="${pkgdir}" cmake --install "${srcdir}/build"
45
install -Dm644 -- "${srcdir}/relacy/LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
46
}
47
Changes since previous scan
--- PKGBUILD @ 2026-08-24 00:17+++ PKGBUILD @ 2026-09-06 09:10@@ -1,7 +1,7 @@ # Maintainer: @RubenKelevra <rubenkelevra@gmail.com> pkgname='relacy-git'-pkgver=r47.c063779+pkgver=r53.2c87447 pkgrel=1 pkgdesc='Meticulous synchronization algorithm verifier for relaxed memory models' arch=('any')@@ -13,23 +13,12 @@ ) provides=("relacy=${pkgver}") conflicts=('relacy')-source=(- "git+${url}.git"- 'gcc16-ipa-cp-clone.patch'-)-b2sums=(- 'SKIP'- '58ff0525b84ff218d0b82748d18937f0375f47748b7141c710f6f96d49a86e04be3baea30da8c7bd553dee6d1b9853d963d0537acc59f61d355e076c8f6eb427'-)+source=("git+${url}.git")+b2sums=('SKIP') pkgver() { cd -- "${srcdir}/relacy" || return 1 printf 'r%s.%s' "$(git rev-list --count HEAD)" "$(git rev-parse --short=7 HEAD)"-}--prepare() {- cd -- "${srcdir}/relacy" || return 1- patch -Np1 -i "${srcdir}/gcc16-ipa-cp-clone.patch" } build() {Scan history
| Scanned at (UTC) | Severity | Rules |
|---|---|---|
| 2026-09-06 09:10:50 | Low | 1 |
| 2026-08-24 00:17:16 | Clean | 2 |
| 2026-08-23 23:21:41 | Low | 1 |