summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAdrian Wheeldon2020-09-29 13:38:18 +0100
committerAdrian Wheeldon2020-09-29 13:38:18 +0100
commite5e9871c1c824d85f05e5442f51537e304aee770 (patch)
tree10677e7f5a54aa48d08980c9c3f47ee99efc4e43
parentf5c8ac89b05faf01914298ec8253ec704166dbf9 (diff)
downloadaur-e5e9871c1c824d85f05e5442f51537e304aee770.tar.gz
Bump to v3.3.1, remove permission fixing
File permissions now fixed upstream
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD17
2 files changed, 7 insertions, 18 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 35b50e4c98f1..c79ddef5b652 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = workcraft
pkgdesc = A framework for interpreted graph models including petri nets and STGs
- pkgver = 3.3.0
- pkgrel = 2
+ pkgver = 3.3.1
+ pkgrel = 1
url = http://www.workcraft.org/
arch = i686
arch = x86_64
@@ -11,8 +11,8 @@ pkgbase = workcraft
optdepends = stack: Concepts support
provides = workcraft
conflicts = workcraft
- source = http://www.workcraft.org/_media/download/workcraft-v3.3.0-linux.tar.gz
- md5sums = 94576e2781dd01bf43d8edad91025d86
+ source = http://www.workcraft.org/_media/download/workcraft-v3.3.1-linux.tar.gz
+ md5sums = cb4f9efc85e60e7e97164418c511e7a6
pkgname = workcraft
diff --git a/PKGBUILD b/PKGBUILD
index 640ae6a086f4..6da47793d470 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Adrian Wheeldon <arandomowl at gmail dot com>
pkgname=workcraft
-pkgver=3.3.0
-pkgrel=3
+pkgver=3.3.1
+pkgrel=1
pkgdesc="A framework for interpreted graph models including petri nets and STGs"
arch=('i686' 'x86_64')
url="http://www.workcraft.org/"
@@ -22,17 +22,6 @@ package() {
mkdir -p "$pkgdir"/usr/bin
mkdir -p "$pkgdir"/opt/workcraft
cp -RP ./* "$pkgdir"/opt/workcraft/
- chmod 755 "$pkgdir"/opt/workcraft/libraries
- chmod 755 "$pkgdir"/opt/workcraft/libraries/*
- chmod 755 "$pkgdir"/opt/workcraft/tools
- chmod 755 "$pkgdir"/opt/workcraft/tools/*
- chmod 755 "$pkgdir"/opt/workcraft/tools/ATACS/atacs
- chmod 755 "$pkgdir"/opt/workcraft/tools/Espresso/espresso
- chmod 755 "$pkgdir"/opt/workcraft/tools/PGMiner/pgminer
- chmod 755 "$pkgdir"/opt/workcraft/tools/PetrifyTools/petrify
- chmod 755 "$pkgdir"/opt/workcraft/tools/ScEnco/scenco
- chmod 755 "$pkgdir"/opt/workcraft/tools/vxm/vxm
- chmod 755 "$pkgdir"/opt/workcraft/workcraft
ln -s /opt/workcraft/workcraft "$pkgdir"/usr/bin/workcraft
}
-md5sums=('94576e2781dd01bf43d8edad91025d86')
+md5sums=('cb4f9efc85e60e7e97164418c511e7a6')