File tree Expand file tree Collapse file tree 1 file changed +10
-12
lines changed
Expand file tree Collapse file tree 1 file changed +10
-12
lines changed Original file line number Diff line number Diff line change 11language : node_js
22node_js :
3- - " 0.10"
3+ - 0.10
44env :
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
96install :
10- - wget -O $HOME/bin/psc https://github.com/purescript/purescript/releases/download/0.5.6.2/psc
11- - chmod a+x $HOME/bin/psc
12- - wget -O $purescript_datadir/prelude/prelude.purs https://github.com/purescript/purescript/releases/download/0.5.6.2/prelude.purs
13- - " npm install bower grunt-cli -g"
14- - " npm install"
15- - " 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
1614script :
17- - " grunt examples"
15+ - grunt examples
You can’t perform that action at this time.
0 commit comments