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 @@ -2,17 +2,11 @@ language: node_js
2
2
dist : trusty
3
3
sudo : required
4
4
node_js : 6
5
- env :
6
- - PATH=$HOME/purescript:$PATH
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
- - npm install -g bower
6
+ - npm install bower -g
13
7
- npm install
14
- script :
15
8
- bower install --production
9
+ script :
16
10
- npm run -s build
17
11
- bower install
18
12
- npm -s test
Original file line number Diff line number Diff line change 7
7
"devDependencies" : {
8
8
"pulp" : " ^9.0.1" ,
9
9
"purescript-psa" : " ^0.3.9" ,
10
- "rimraf" : " ^2.5.0"
10
+ "purescript" : " ^0.10.1" ,
11
+ "rimraf" : " ^2.5.4"
11
12
}
12
13
}
You can’t perform that action at this time.
0 commit comments