Fix permissions on tools

2 files changed, 10 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 785508759325..35b50e4c98f1 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 = 1
+	pkgrel = 2
 	url = http://www.workcraft.org/
 	arch = i686
 	arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 2f807fae0ad5..fafc95770e4e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Adrian Wheeldon <arandomowl at gmail dot com>
 pkgname=workcraft
 pkgver=3.3.0
-pkgrel=1
+pkgrel=2
 pkgdesc="A framework for interpreted graph models including petri nets and STGs"
 arch=('i686' 'x86_64')
 url="http://www.workcraft.org/"
@@ -22,6 +22,14 @@ package() {
   mkdir -p "$pkgdir"/usr/bin
   mkdir -p "$pkgdir"/opt/workcraft
   cp -RP ./* "$pkgdir"/opt/workcraft/
+  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
 }