blob: 4053debab2cd825d80b3d2be87caeb21aa31f11a (
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
|
# Maintainer: Baplar <baplar@gmail.com>
# Contributor: Drew Noel <drewmnoel@gmail.com>
pkgname=jpf-core-bin
pkgver=r32
pkgrel=1
pkgdesc="An extensible software model checking framework for Java bytecode programs"
arch=('any')
url="https://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-core"
license=('APACHE')
depends=('java-environment-openjdk>=8')
provides=("${pkgname%-bin}")
conflicts=("${pkgname%-bin}")
source=('https://babelfish.arc.nasa.gov/trac/jpf/raw-attachment/wiki/projects/jpf-core/jpf-core-r32.zip'
'jpf'
'jpf.properties')
md5sums=('a9a3cff397180a533a93fd434241a225'
'85a27d09ee9ec6137d5f7c43180c87e0'
'31708844142d0b48a3227b113db0cb0f')
JPF_HOME=/usr/share/java/jpf
BIN_DIR=/usr/local/bin
package() {
cd $srcdir
# Copy the mandatory config
install -D -m644 -t $pkgdir/$JPF_HOME/ jpf.properties
# Copy all the .JAR files
install -D -m644 -t $pkgdir/$JPF_HOME/ jpf-core/build/*.jar
# Copy the jpf executable
install -D -m755 -t $pkgdir/$BIN_DIR/ jpf
}
|