Defaults to /usr for generated packages instead of /usr/local

1 files changed, 5 insertions, 0 deletions

diff --git a/PKGBUILD b/PKGBUILD
index d1754c689f86..338ab57673f7 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -27,6 +27,11 @@ pkgver() {
   git describe --long | sed 's/\([^-]*-g\)/r\1/;s/-/./g'
 }
 
+prepare() {
+  cd play.it
+  sed -i '/DEFAULT_OPTION_PREFIX/s,=.*,=/usr,' play.it-2/src/99_init.sh
+}
+
 build() {
   cd play.it
   make