File tree Expand file tree Collapse file tree 2 files changed +4
-9
lines changed Expand file tree Collapse file tree 2 files changed +4
-9
lines changed Original file line number Diff line number Diff line change 1
1
language : node_js
2
2
sudo : false
3
3
node_js :
4
- - 0.10
5
- env :
6
- - PATH=$HOME/purescript:$PATH
4
+ - 0.12
7
5
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
12
6
- npm install bower gulp -g
13
7
- npm install
14
8
- bower install --production
Original file line number Diff line number Diff line change 4
4
"license" : " MIT" ,
5
5
"dependencies" : {
6
6
"gulp" : " ^3.9.0" ,
7
- "gulp-purescript" : " ^0.5.0" ,
8
- "gulp-run" : " ^1.6.8"
7
+ "gulp-purescript" : " ^0.7.0" ,
8
+ "gulp-run" : " ^1.6.8" ,
9
+ "purescript" : " ^0.7.5"
9
10
}
10
11
}
You can’t perform that action at this time.
0 commit comments