summaryrefslogtreecommitdiff
path: root/community/julia
diff options
context:
space:
mode:
authorNicolás Reynolds <fauno@endefensadelsl.org>2014-07-05 03:56:09 +0000
committerNicolás Reynolds <fauno@endefensadelsl.org>2014-07-05 03:56:09 +0000
commit4cd3fcfccda5c0375669bd300834ac77a0a617fb (patch)
tree45654211fb7434273df8b8fdc98c761fe1eef5e8 /community/julia
parent32fb2c222ff8558d8abdfa411e8487dc9a3c0696 (diff)
Sat Jul 5 03:51:53 UTC 2014
Diffstat (limited to 'community/julia')
-rw-r--r--community/julia/PKGBUILD7
1 files changed, 5 insertions, 2 deletions
diff --git a/community/julia/PKGBUILD b/community/julia/PKGBUILD
index d1ff10621..064fbd10a 100644
--- a/community/julia/PKGBUILD
+++ b/community/julia/PKGBUILD
@@ -1,4 +1,4 @@
-# $Id: PKGBUILD 114739 2014-07-03 15:11:03Z arodseth $
+# $Id: PKGBUILD 114770 2014-07-03 23:57:26Z arodseth $
# Maintainer: Alexander Rødseth <rodseth@gmail.com>
# Contributor: Lex Black <autumn-wind at web dot de>
# Contributor: Michael Jakl <jakl.michael@gmail.com>
@@ -6,7 +6,7 @@
pkgname=julia
pkgver=0.3.0_prerelease
-pkgrel=7
+pkgrel=8
pkgdesc='High-level, high-performance, dynamic programming language'
arch=('x86_64' 'i686')
url='http://julialang.org'
@@ -79,6 +79,9 @@ package() {
# Remove duplicate man-page from julia/doc
rm -rv "$pkgdir/usr/share/julia/doc/man"
+ # Remove this file in order for Julia to start, see FS#39721
+ rm -v "$pkgdir/usr/lib/julia/sys.so"
+
# Fix wonky permission
chmod 644 "$pkgdir/usr/lib/julia/libuv.a"
}