blob: d652c5e282585392abb25855b805b6320bb8f4f3 (
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
28
29
30
31
32
33
34
35
|
# Maintainer: Jrnr601 <jeroen at robben dot io>
# Contributor(s): Michael Leuschel and others
# Contributor(s): Formal Mind
# Contributor(s): Heinrich-Heine-University
_major_version='1.13'
_minor_version='0'
pkgname='prob'
pkgver=${_major_version}.${_minor_version}
pkgrel=1
pkgdesc="ProB Animator and Model Checker"
arch=('x86_64')
url="https://www3.hhu.de/stups/prob/"
license=('EPL 1.0')
depends=('tk>=8.5.0'
'tcl>=8.5.0'
'java-runtime')
optdepends=('graphviz: visualizations'
'gv: PostScript visualizations')
source_x86_64=("http://www3.hhu.de/stups/downloads/prob/tcltk/releases/${_major_version}.${_minor_version}/ProB.linux64.tar.gz")
md5sums_x86_64=('c2ca46e1b7343948e974a8a8f852bd4e')
package() {
rm ${srcdir}/ProB.linux64.tar.gz
mkdir -p ${pkgdir}/opt/prob
cp -dR ${srcdir}/ProB/* ${pkgdir}/opt/prob/
mkdir -p "${pkgdir}/usr/bin"
ln -s "/opt/prob/prob" "${pkgdir}/usr/bin/prob"
ln -s "/opt/prob/probcli" "${pkgdir}/usr/bin/probcli"
}
|