diff options
author | joneshf | 2015-07-03 12:17:07 -0700 |
---|---|---|
committer | joneshf | 2015-07-03 12:19:12 -0700 |
commit | 6c660a6dda33083d25454129f5f851aa9f13cc87 (patch) | |
tree | c0ed01af4cf02b766b580f777c0fa47518fe4549 | |
parent | 767c22a60aa286d04f13df28aab2a94ac118948f (diff) | |
download | aur-6c660a6dda33083d25454129f5f851aa9f13cc87.tar.gz |
Updated `update_version.sh`
For some reason `RPATH` issues have arisen.
This is probably due to cabal, but we just delete them alltogether.
Hopefully nothing breaks due to it...
-rw-r--r-- | .gitignore | 6 | ||||
-rw-r--r-- | PKGBUILD | 7 | ||||
-rwxr-xr-x | update_version.sh | 8 |
3 files changed, 16 insertions, 5 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..86e4fd597af4 --- /dev/null +++ b/.gitignore @@ -0,0 +1,6 @@ +src +pkg +*.tar.xz +*.tar.gz +*.log +.psci_modules
\ No newline at end of file @@ -1,6 +1,6 @@ # Maintainer: Hardy Jones <jones3 dot hardy at gmail dot com> pkgname=purescript-bin -pkgver=0.6.9.5 +pkgver=0.7.0 pkgrel=1 pkgdesc="A strongly, statically typed language compiling to JavaScript." arch=('x86_64') @@ -9,14 +9,15 @@ license=('MIT') depends=('glibc' 'gmp' 'gcc-libs' 'libtinfo') provides=('purescript') source=("https://github.com/joneshf/purescript/releases/download/v$pkgver/linux64.tar.gz") -sha512sums=('2f9e267cd171816a17affcf90c68c5bdec72ee4f12e9de521fb3ec30b1c3e92c6603e775282f2e29b31f31f4c3c3a32b8ae2f98e0fd504e1cea3b94cab56a9c7') +sha512sums=('7ba26a530067f45749831b86605f6bdeedba08812e3beabb7fc636c26380328aa8102945b5e61ece7ed674e77286ed30209020cf9a08da352171d3c4eff51f95') package() { cd "${srcdir}"/purescript install -D -m755 psc "${pkgdir}/usr/bin/psc" install -D -m755 psc-docs "${pkgdir}/usr/bin/psc-docs" - install -D -m755 psc-make "${pkgdir}/usr/bin/psc-make" + install -D -m755 psc-bundle "${pkgdir}/usr/bin/psc-bundle" + install -D -m755 psc-publish "${pkgdir}/usr/bin/psc-publish" install -D -m755 psci "${pkgdir}/usr/bin/psci" install -D -m644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" diff --git a/update_version.sh b/update_version.sh index a416db43b0da..b9a2630e113e 100755 --- a/update_version.sh +++ b/update_version.sh @@ -7,11 +7,15 @@ RELEASE_URL=https://api.github.com/repos/joneshf/purescript/releases # Grab the original tar. curl -L "https://github.com/purescript/purescript/releases/download/v$VERSION/linux64.tar.gz"> orig.tar.gz +# Extract and get rid of RPATH info. +tar zxvf orig.tar.gz +find purescript -name 'psc*' -exec chrpath -d {} \; +tar zcvf modified.tar.gz purescript # Make a release curl --data "$API_JSON" $RELEASE_URL?access_token=$PURESCRIPT_BIN_TOKEN # Upload the tar. ASSET_URL=$(curl "$RELEASE_URL/tags/v$VERSION?access_token=$PURESCRIPT_BIN_TOKEN" | json upload_url | sed "s/{.*//") -curl -X POST -H "Content-Type:application/gzip" "$ASSET_URL?access_token=$PURESCRIPT_BIN_TOKEN&name=linux64.tar.gz" -T orig.tar.gz +curl -X POST -H "Content-Type:application/gzip" "$ASSET_URL?access_token=$PURESCRIPT_BIN_TOKEN&name=linux64.tar.gz" -T modified.tar.gz # Continue with what we normally do. git clean -fxd @@ -20,7 +24,7 @@ updpkgsums makepkg -s mkaurball -f namcap purescript-bin*.pkg.tar.xz -aurploader +mksrcinfo git add . git commit -m "Updated version to $VERSION." git push origin master |