File tree Expand file tree Collapse file tree 3 files changed +11
-6
lines changed Expand file tree Collapse file tree 3 files changed +11
-6
lines changed Original file line number Diff line number Diff line change @@ -2,7 +2,13 @@ language: node_js
22dist : trusty
33sudo : required
44node_js : 6
5+ env :
6+ - PATH=$HOME/purescript:$PATH
57install :
8+ - 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')
9+ - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
10+ - tar -xvf $HOME/purescript.tar.gz -C $HOME/
11+ - chmod a+x $HOME/purescript
612 - npm install -g bower
713 - npm install
814 - bower install --production
Original file line number Diff line number Diff line change 1212 "url" : " git://github.com/purescript-node/purescript-node-url.git"
1313 },
1414 "dependencies" : {
15- "purescript-nullable" : " ^3 .0.0"
15+ "purescript-nullable" : " ^4 .0.0"
1616 }
1717}
Original file line number Diff line number Diff line change 77 },
88 "devDependencies" : {
99 "jscs" : " ^3.0.7" ,
10- "jshint" : " ^2.9.4" ,
11- "pulp" : " ^11.0.0" ,
12- "purescript" : " ^0.11.1" ,
13- "purescript-psa" : " ^0.5.0" ,
14- "rimraf" : " ^2.6.1"
10+ "jshint" : " ^2.9.5" ,
11+ "pulp" : " ^12.2.0" ,
12+ "purescript-psa" : " ^0.6.0" ,
13+ "rimraf" : " ^2.6.2"
1514 }
1615}
You can’t perform that action at this time.
0 commit comments