File tree Expand file tree Collapse file tree 2 files changed +12
-6
lines changed Expand file tree Collapse file tree 2 files changed +12
-6
lines changed Original file line number Diff line number Diff line change @@ -2,14 +2,20 @@ language: node_js
22dist : trusty
33sudo : required
44node_js : stable
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
814script :
915 - bower install --production
1016 - npm run -s build
1117 - bower install
12- - npm -s test
18+ - npm run -s test
1319after_success :
1420- >-
1521 test $TRAVIS_TAG &&
Original file line number Diff line number Diff line change 2727 " package.json"
2828 ],
2929 "dependencies" : {
30- "purescript-enums" : " #compiler/0.12 " ,
31- "purescript-functions" : " #compiler/0.12 " ,
32- "purescript-gen" : " #compiler/0.12 " ,
33- "purescript-foreign-object" : " #compiler/0.12 "
30+ "purescript-enums" : " ^4.0.0 " ,
31+ "purescript-functions" : " ^4.0.0 " ,
32+ "purescript-gen" : " ^2.0.0 " ,
33+ "purescript-foreign-object" : " ^1.0.0 "
3434 },
3535 "devDependencies" : {
36- "purescript-quickcheck" : " #compiler/0.12 "
36+ "purescript-quickcheck" : " ^5.0.0 "
3737 }
3838}
You can’t perform that action at this time.
0 commit comments