Update to 0.8.2

3 files changed, 20 insertions, 46 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 60efa0e5434f..dc4b80061097 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,17 +1,18 @@
+# Generated by mksrcinfo v8
+# Sun Mar 20 23:43:07 UTC 2016
 pkgbase = purescript-bin
-	pkgdesc = A strongly, statically typed language compiling to JavaScript.
-	pkgver = 0.7.4.0
+	pkgdesc = A small strongly typed programming language with expressive types that compiles to Javascript, written in and inspired by Haskell.
+	pkgver = 0.8.2
 	pkgrel = 1
 	url = http://www.purescript.org/
 	arch = x86_64
 	license = MIT
-	depends = glibc
 	depends = gmp
-	depends = gcc-libs
-	depends = libtinfo
+	depends = libtinfo-5
+	depends = zlib
 	provides = purescript
-	source = https://github.com/joneshf/purescript/releases/download/v0.7.4.0/linux64.tar.gz
-	sha512sums = fe0e527135c3acd02529a7dcb2c051e9582d4f19f0443eebf0c7c4e65a494313ce6d6d46370c8a63ef3708b04b424669bc528555fe5dea9bf84b7fa534f4889f
+	source = purescript-0.8.2.tar.gz::https://github.com/purescript/purescript/releases/download/v0.8.2/linux64.tar.gz
+	sha256sums = 1fc2c63ffb434fbbf49729c4e04143f083d932a859a1a7f1c06ccc59356412b2
 
 pkgname = purescript-bin
 
diff --git a/PKGBUILD b/PKGBUILD
index 9752e6be32e0..e73c70c054a8 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,24 +1,27 @@
-# Maintainer: Hardy Jones <jones3 dot hardy at gmail dot com>
+# Maintainer: Jonas Platte <aur@jonasplatte.de>
+
 pkgname=purescript-bin
-pkgver=0.7.4.0
+pkgver=0.8.2
 pkgrel=1
-pkgdesc="A strongly, statically typed language compiling to JavaScript."
+pkgdesc="A small strongly typed programming language with expressive types that compiles to Javascript, written in and inspired by Haskell."
 arch=('x86_64')
 url="http://www.purescript.org/"
 license=('MIT')
-depends=('glibc' 'gmp' 'gcc-libs' 'libtinfo')
+depends=('gmp' 'libtinfo-5' 'zlib')
 provides=('purescript')
-source=("https://github.com/joneshf/purescript/releases/download/v$pkgver/linux64.tar.gz")
-sha512sums=('fe0e527135c3acd02529a7dcb2c051e9582d4f19f0443eebf0c7c4e65a494313ce6d6d46370c8a63ef3708b04b424669bc528555fe5dea9bf84b7fa534f4889f')
+source=("purescript-${pkgver}.tar.gz::https://github.com/purescript/purescript/releases/download/v${pkgver}/linux64.tar.gz")
+sha256sums=('1fc2c63ffb434fbbf49729c4e04143f083d932a859a1a7f1c06ccc59356412b2')
 
 package() {
-  cd "${srcdir}"/purescript
+  cd purescript
 
   install -D -m755 psc "${pkgdir}/usr/bin/psc"
-  install -D -m755 psc-docs "${pkgdir}/usr/bin/psc-docs"
   install -D -m755 psc-bundle "${pkgdir}/usr/bin/psc-bundle"
-  install -D -m755 psc-publish "${pkgdir}/usr/bin/psc-publish"
+  install -D -m755 psc-docs "${pkgdir}/usr/bin/psc-docs"
   install -D -m755 psci "${pkgdir}/usr/bin/psci"
+  install -D -m755 psc-ide-client "${pkgdir}/usr/bin/psc-ide-client"
+  install -D -m755 psc-ide-server "${pkgdir}/usr/bin/psc-ide-server"
+  install -D -m755 psc-publish "${pkgdir}/usr/bin/psc-publish"
 
   install -D -m644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
 }
diff --git a/update_version.sh b/update_version.sh
deleted file mode 100755
index b9a2630e113e..000000000000
--- a/update_version.sh
+++ /dev/null
@@ -1,30 +0,0 @@
-#!/bin/bash
-set -e -v
-
-VERSION=$1
-API_JSON=$(printf '{"tag_name": "v%s", "target_commitish": "master", "name": "v%s", "body": "v%s", "draft": false, "prerelease": false}' $VERSION $VERSION $VERSION)
-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 modified.tar.gz
-
-# Continue with what we normally do.
-git clean -fxd
-sed -i "s/^pkgver=.*/pkgver="$VERSION"/" PKGBUILD
-updpkgsums
-makepkg -s
-mkaurball -f
-namcap purescript-bin*.pkg.tar.xz
-mksrcinfo
-git add .
-git commit -m "Updated version to $VERSION."
-git push origin master