prismmodelchecker

LOW

maintainer nomadalgia 0 votes scanned 2026-09-09 09:19:26.157521

View on AUR

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: Emilia P. Stoyanova <emiliaps31 at gmail dot com>
    
      2pkgname=prismmodelchecker
    
      3pkgver=4.10.1
    
      4pkgrel=1
    
      5pkgdesc="PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour"
    
      6arch=(x86_64)
    
      7url="https://www.prismmodelchecker.org/"
    
      8license=('GPL2')
    
      9groups=()
    
      10conflicts=('prismmodelchecker-git')
    
      11depends=(java-environment)
    
      12source=("https://github.com/prismmodelchecker/prism/releases/download/v${pkgver}/prism-${pkgver}-linux64-x86.tar.gz")
    
      13md5sums=('a2e5c1b0fa47e6add47e1672868e639d')
    
      14
    
      15package() {
    
      16  cd "$srcdir"/prism-${pkgver}-linux64-x86
    
      17
    
      18  sed -i 's/^\(PRISM_DIR=\).*/\1"\/usr\/share\/java\/prism\/"/' bin/prism
    
      19  sed -i 's/^\(PRISM_DIR=\).*/\1"\/usr\/share\/java\/prism\/"/' bin/xprism
    
      20
    
      21  mkdir -p "$pkgdir"/usr/share/java/prism/
    
      22
    
      23  cp -r bin/ "$pkgdir"/usr/share/java/prism/bin/
    
      24  cp -r lib/ "$pkgdir"/usr/share/java/prism/lib/
    
      25  cp -r etc/ "$pkgdir"/usr/share/java/prism/etc/
    
      26
    
      27  install -d "$pkgdir"/usr/bin/
    
      28  ln -s "/usr/share/java/prism/bin/prism" "${pkgdir}/usr/bin/prism"
    
      29  ln -s "/usr/share/java/prism/bin/xprism" "${pkgdir}/usr/bin/xprism"
    
      30  ln -s "/usr/share/java/prism/bin/ngprism" "${pkgdir}/usr/bin/ngprism"
    
      31  ln -s "/usr/share/java/prism/etc/scripts/prism-auto" "${pkgdir}/usr/bin/prism-auto"
    
      32}
    
      33

Scan history

Scanned at (UTC)	Severity	Rules
2026-09-09 09:19:26	Low	1