File tree 3 files changed +18
-13
lines changed
3 files changed +18
-13
lines changed Original file line number Diff line number Diff line change 1
1
language : node_js
2
2
dist : trusty
3
3
sudo : required
4
- node_js : 6
4
+ node_js : 8
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
- bower install --production
Original file line number Diff line number Diff line change 12
12
" output"
13
13
],
14
14
"dependencies" : {
15
- "purescript-effect" : " #compiler/0.12 " ,
16
- "purescript-foreign-object" : " #compiler/0.12 " ,
17
- "purescript-maybe" : " #compiler/0.12 " ,
18
- "purescript-node-streams" : " #compiler/0.12 " ,
19
- "purescript-posix-types" : " #compiler/0.12 " ,
20
- "purescript-unsafe-coerce" : " #compiler/0.12 " ,
21
- "purescript-prelude" : " #compiler/0.12 "
15
+ "purescript-effect" : " ^2.0.0 " ,
16
+ "purescript-foreign-object" : " ^1.0.0 " ,
17
+ "purescript-maybe" : " ^4.0.0 " ,
18
+ "purescript-node-streams" : " ^4.0.0 " ,
19
+ "purescript-posix-types" : " ^4.0.0 " ,
20
+ "purescript-unsafe-coerce" : " ^4.0.0 " ,
21
+ "purescript-prelude" : " ^4.0.0 "
22
22
}
23
23
}
Original file line number Diff line number Diff line change 7
7
},
8
8
"devDependencies" : {
9
9
"jscs" : " ^3.0.7" ,
10
- "jshint" : " ^2.9.4" ,
11
- "pulp" : " ^11.0.0" ,
12
- "purescript-psa" : " ^0.5.0" ,
13
- "purescript" : " ^0.11.1" ,
14
- "rimraf" : " ^2.5.4"
10
+ "jshint" : " ^2.9.5" ,
11
+ "pulp" : " ^12.2.0" ,
12
+ "purescript-psa" : " ^0.6.0" ,
13
+ "rimraf" : " ^2.6.2"
15
14
}
16
15
}
You can’t perform that action at this time.
0 commit comments