Skip to content

Commit 80a377d

Browse files
committed
Install purescript from npm
1 parent 85d73c5 commit 80a377d

File tree

2 files changed

+2
-4
lines changed

2 files changed

+2
-4
lines changed

.travis.yml

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,9 @@ sudo: false
33
node_js:
44
- 0.10
55
env:
6-
- TAG=v0.7.0 PATH=$HOME/bin:$PATH
6+
- PATH=$HOME/bin:$PATH
77
install:
88
- mkdir $HOME/bin
9-
- wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
10-
- tar zxvf $HOME/purescript.tar.gz -C $HOME/bin purescript/psc{,i,-docs,-bundle,-publish} --strip-components=1
11-
- chmod a+x $HOME/bin/psc{,i,-docs,-bundle,-publish}
129
- npm install bower gulp -g
1310
- npm install && bower install
1411
script:

package.json

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
{
22
"private": true,
33
"devDependencies": {
4+
"purescript": "^0.7.4",
45
"gulp": "^3.8.11",
56
"gulp-jscs": "^1.6.0",
67
"gulp-jshint": "^1.11.2",

0 commit comments

Comments
 (0)