summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD7
2 files changed, 4 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 6f5a80d93ab9..4da7b271ddc9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,12 @@
pkgbase = ltsa
pkgdesc = Labelled Transition System Analyser, a verification tool for concurrent systems
pkgver = 3.0
- pkgrel = 7
+ pkgrel = 8
url = http://www.doc.ic.ac.uk/ltsa/
install = ltsa.install
arch = any
license = unknown
makedepends = imagemagick
- makedepends = setconf
makedepends = gendesk
depends = java-runtime
depends = bash
@@ -18,4 +17,3 @@ pkgbase = ltsa
sha256sums = 34f53ef6b330e49d3eaeb8754703a09ac98d95052bf6c08abb9f0161bb66ff84
pkgname = ltsa
-
diff --git a/PKGBUILD b/PKGBUILD
index f4d3ef5b806e..df125d3387df 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,7 +5,7 @@
pkgname=ltsa
pkgver=3.0
-pkgrel=7
+pkgrel=8
pkgdesc="Labelled Transition System Analyser, a verification tool for concurrent systems"
arch=('any')
url="http://www.doc.ic.ac.uk/ltsa/"
@@ -20,7 +20,7 @@ url="http://www.doc.ic.ac.uk/ltsa/"
license=('unknown')
depends=('java-runtime' 'bash' 'libcups')
install=ltsa.install
-makedepends=('imagemagick' 'setconf' 'gendesk')
+makedepends=('imagemagick' 'gendesk')
source=("http://www.doc.ic.ac.uk/~jnm/book/$pkgname/${pkgname}tool.zip"
"$pkgname.sh")
sha256sums=('9ed894c4f2ae22e119a4f48e6e3f36b38b08f8fe85a6ac85564f4c5045fe9046'
@@ -28,8 +28,7 @@ sha256sums=('9ed894c4f2ae22e119a4f48e6e3f36b38b08f8fe85a6ac85564f4c5045fe9046'
build() {
cd "$srcdir"
- gendesk -n
- setconf "$pkgname.desktop" Categories "Education;Java;"
+ gendesk -n --pkgname "$pkgname" --pkgdesc "$pkgdesc" --categories "Education;Java"
echo "Generating $pkgname.png..."
convert "${pkgname}tool/$pkgname.ico" "$pkgname.png"
}