File tree 1 file changed +10
-13
lines changed 1 file changed +10
-13
lines changed Original file line number Diff line number Diff line change 1
1
language : node_js
2
2
node_js :
3
- - " 0.10"
3
+ - 0.10
4
4
env :
5
- - PATH=$HOME/bin:$PATH purescript_datadir=$HOME/.local/share/purescript
6
- before_install :
7
- - mkdir -p $HOME/bin
8
- - mkdir -p $HOME/.local/share/purescript/prelude
5
+ - PATH=$HOME/purescript:$PATH
9
6
install :
10
- - wget https://github.com/purescript/purescript/releases/download/v0.5.7.1/linux64.tar.gz
11
- - tar zxvf linux64.tar.gz
12
- - cp purescript/{docgen,psc,psci,psc-make} $HOME/bin
13
- - cp purescript/prelude.purs $purescript_datadir/prelude/prelude.purs
14
- - " npm install bower grunt-cli -g"
15
- - " npm install"
16
- - " bower install"
7
+ - 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')
8
+ - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/ linux64.tar.gz
9
+ - tar -xvf $HOME/purescript.tar.gz -C $HOME/
10
+ - chmod a+x $HOME/purescript
11
+ - npm install bower grunt-cli -g
12
+ - npm install
13
+ - bower install
17
14
script :
18
- - " grunt test"
15
+ - grunt test
You can’t perform that action at this time.
0 commit comments