blob: e9926f4c374a0085df8eb4f9f649c6eb731a169d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# Maintainer: Kevin Jilissen <info@kevinjilissen.nl>
pkgname=mcrl2-bin
pkgver=202507.0
pkgrel=1
pkgdesc="A formal specification language with an associated toolset installed from the 'deb' GitHub release package."
arch=('x86_64')
provides=('mcrl2')
conflicts=('mcrl2')
depends=('qt6-base' 'glu' 'hicolor-icon-theme')
optdepends=('python: for easily running the included examples')
url=https://www.mcrl2.org
license=('Boost')
source=("https://github.com/mCRL2org/mCRL2/releases/download/mcrl2-${pkgver}/mcrl2-${pkgver}_${arch}.deb")
sha256sums=('29eba5b95aa11ce56ff3536a531d45626ab32ea0708005415987d2525cd4cb65')
install=mcrl2.install
build() {
mkdir -p "${srcdir}/output"
tar -xvf "${srcdir}/data.tar.gz" -C "${srcdir}/output"
}
package() {
cp -r "${srcdir}/output/"* "${pkgdir}"
install -d "${pkgdir}"/usr/bin
}
|