blob: 951c56a8ffe96fbac51483da7f0a8cd8b411b8d0 (
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=202407.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=('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=('3d48bbbe3beee59a05f6eee7bc3588b5ce1ec45fcbecb171c7fe736a44d3db55')
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
}
|