File tree Expand file tree Collapse file tree 3 files changed +12
-7
lines changed
Expand file tree Collapse file tree 3 files changed +12
-7
lines changed Original file line number Diff line number Diff line change @@ -2,8 +2,14 @@ language: node_js
22dist : trusty
33sudo : required
44node_js : 6
5+ env :
6+ - PATH=$HOME/purescript:$PATH
57install :
68 - npm install -g bower
9+ - 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')
10+ - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
11+ - tar -xvf $HOME/purescript.tar.gz -C $HOME/
12+ - chmod a+x $HOME/purescript
713 - npm install
814 - bower install
915script :
Original file line number Diff line number Diff line change 1515 " package.json"
1616 ],
1717 "dependencies" : {
18- "purescript-prelude" : " ^3 .0.0" ,
19- "purescript-maybe" : " ^3 .0.0"
18+ "purescript-prelude" : " ^4 .0.0" ,
19+ "purescript-maybe" : " ^4 .0.0"
2020 },
2121 "devDependencies" : {
22- "purescript-console" : " ^3.0 .0"
22+ "purescript-console" : " ^4.1 .0"
2323 }
2424}
Original file line number Diff line number Diff line change 55 "build" : " pulp build -- --censor-lib --strict"
66 },
77 "devDependencies" : {
8- "pulp" : " ^11.0.0" ,
9- "purescript" : " ^0.11.1" ,
10- "purescript-psa" : " ^0.5.0" ,
11- "rimraf" : " ^2.6.1"
8+ "pulp" : " ^12.2.0" ,
9+ "purescript-psa" : " ^0.6.0" ,
10+ "rimraf" : " ^2.6.2"
1211 }
1312}
You can’t perform that action at this time.
0 commit comments