blob: 7d2abd0b951c89efd591c48e560d0bf1e3ec8b7e (
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
|
#srcdio Maintainer: DenBrahe <denbrahe at hotmail dot com>
# Contributor(s): Michael Leuschel and others
# Contributor(s): Formal Mind
# Contributor(s): Heinrich-Heine-University
_major_version='1.7'
_minor_version='1'
pkgname='prob'
pkgver=${_major_version}.${_minor_version}
pkgrel=1
pkgdesc="ProB Animator and Model Checker"
arch=('x86_64')
url="http://eclipseclp.org/"
license=('EPL 1.0')
depends=('tk85'
'tcl85'
'java-runtime')
source_x86_64=("http://www3.hhu.de/stups/downloads/prob/tcltk/releases/${_major_version}.${_minor_version}/ProB.linux64.tar.gz")
md5sums_x86_64=('eb74b2991967f0a8ed8669c4186ac1fa')
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"
}
|