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
2
2
dist : trusty
3
3
sudo : required
4
4
node_js : stable
5
+ env :
6
+ - PATH=$HOME/purescript:$PATH
5
7
install :
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
6
12
- npm install -g bower
7
13
- npm install
8
14
script :
9
15
- bower install --production
10
16
- npm run -s build
11
17
- bower install
12
- - npm -s test
18
+ - npm run -s test
13
19
after_success :
14
20
- >-
15
21
test $TRAVIS_TAG &&
Original file line number Diff line number Diff line change 27
27
" package.json"
28
28
],
29
29
"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 "
34
34
},
35
35
"devDependencies" : {
36
- "purescript-quickcheck" : " #compiler/0.12 "
36
+ "purescript-quickcheck" : " ^5.0.0 "
37
37
}
38
38
}
You can’t perform that action at this time.
0 commit comments