blob: fb2a90798eb8643db52c19321af83971cf448ef1 (
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
36
37
38
39
40
41
|
# Maintainer: Drew Noel <drewmnoel@gmail.com>
pkgname=jpf-core-git
pkgver=jpf.8.0.r67.ge734381
pkgrel=1
pkgdesc="Explicit state software model checker for Java bytecode"
arch=('any')
url="https://github.com/javapathfinder/jpf-core"
license=('APACHE')
depends=('java-environment-openjdk>=7')
makedepends=('gradle')
provides=('jpf')
source=('git+https://github.com/javapathfinder/jpf-core'
'jpf.properties'
'jpf')
md5sums=('SKIP'
'e25814db7a0c0efb45ff737a538e49a4'
'6f96fef6cc825e9823c7daa8fb5d4460')
pkgver() {
cd $srcdir/jpf-core
git describe --long --tags | sed 's/\([^-]*-g\)/r\1/;s/-/./g' | tr '[:upper:]' '[:lower:]'
}
build() {
cd $srcdir/jpf-core
# Compile
./gradlew buildJars
}
package() {
# Copy the mandatory config
install -D -m644 -t $pkgdir/usr/share/java/jpf/ $srcdir/jpf.properties
# Copy all the .JAR files
install -D -m644 -t $pkgdir/usr/share/java/jpf/ $srcdir/jpf-core/build/*.jar
# Copy the jpf executable
install -D -m755 -t $pkgdir/usr/local/bin/ $srcdir/jpf
}
|