blob: b46951f28d737bac501ab6767ef8f4e507d6ac9e (
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=202307.1
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=('qt5-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=('52b0c6be65a355112814f930798e46514b8f1fd41806971c56e117ef122b28ab')
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
}
|