genmc

MEDIUM

maintainer RubenKelevra 1 votes scanned 2026-09-13 19:15:06.142757

View on AUR

Why flagged

This package was orphaned and re-adopted within the last 30 days — a window where ownership transfers can introduce malicious changes.

Triggered rules

Medium Recently orphaned & re-adopted orphaned_readopted

This package was orphaned and re-adopted within the last 30 days — a window where ownership transfers can introduce malicious changes.

PKGBUILD

      1# Maintainer: Sean Anderson <seanga2@gmail.com>
    
      2pkgname=genmc
    
      3pkgver=0.10.2
    
      4pkgrel=1
    
      5pkgdesc="Generic model checker for concurrent C programs"
    
      6arch=(x86_64)
    
      7url="https://plv.mpi-sws.org/genmc"
    
      8license=(
    
      9	'GPL3' 'custom:Apache 2.0 with LLVM Exception'
    
      10)
    
      11depends=(
    
      12	llvm-libs
    
      13	hwloc
    
      14)
    
      15makedepends=(
    
      16	llvm
    
      17)
    
      18source=("https://github.com/MPI-SWS/genmc/archive/refs/tags/v$pkgver.tar.gz")
    
      19sha512sums=('208c652ee00fecbee52f061020a381c5d8ab80469a074e714cd54f2a04203e7a99e971b484f286034f41d09b85059e7000d0a378d49097ce8c2887d5a9e2de42')
    
      20
    
      21build() {
    
      22	cd "$pkgname-$pkgver"
    
      23
    
      24	autoreconf --install
    
      25	./configure --prefix=/usr
    
      26	make
    
      27}
    
      28
    
      29check() {
    
      30	cd "$pkgname-$pkgver"
    
      31	# These tests take a LONG time
    
      32	#make -k check
    
      33}
    
      34
    
      35package() {
    
      36	cd "$pkgname-$pkgver"
    
      37	make DESTDIR="$pkgdir/" install
    
      38	install -Dt "$pkgdir/usr/share/licenses/$pkgname" -m644 LLVMLICENSE
    
      39	install -Dt "$pkgdir/usr/share/doc/$pkgname" -m644 *.md doc/*.md
    
      40}
    
      41

Scan history

Scanned at (UTC)	Severity	Rules
2026-09-13 19:15:06	Medium	1
2026-06-18 16:11:54	Clean	0