fetch latest PS binary from Github

purescript-node · May 29, 2018 · cf66311 · cf66311
1 parent 5f89705
commit cf66311
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,14 +1,19 @@
 language: node_js
 dist: trusty
 sudo: required
-node_js: 8
+node_js: stable
+env:
+  - PATH=$HOME/purescript:$PATH
 install:
+  - TAG=$(wget -q -O - https://github.com/purescript/purescript/releases/latest --server-response --max-redirect 0 2>&1 | sed -n -e 's/.*Location:.*tag\///p')
+  - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
+  - tar -xvf $HOME/purescript.tar.gz -C $HOME/
+  - chmod a+x $HOME/purescript
   - npm install -g bower
   - npm install
 script:
   - bower install --production
   - npm run -s build
-  - bower install
 after_success:
 - >-
   test $TRAVIS_TAG &&

diff --git a/package.json b/package.json
@@ -8,7 +8,6 @@
     "eslint": "^3.17.1",
     "pulp": "^11.0.0",
     "purescript-psa": "^0.5.0",
-    "purescript": "^0.12.0",
     "rimraf": "^2.5.4"
   }
 }