File tree Expand file tree Collapse file tree 2 files changed +29
-0
lines changed Expand file tree Collapse file tree 2 files changed +29
-0
lines changed Original file line number Diff line number Diff line change 1+ language : node_js
2+ sudo : false
3+ node_js :
4+ - 4.2
5+ - 5.2
6+ env :
7+ - PATH=$HOME/purescript:$PATH
8+ install :
9+ - 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')
10+ - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
11+ - tar -xvf $HOME/purescript.tar.gz -C $HOME/
12+ - chmod a+x $HOME/purescript
13+ - npm install
14+ script :
15+ - npm run build
Original file line number Diff line number Diff line change 1+ {
2+ "private" : true ,
3+ "scripts" : {
4+ "postinstall" : " pulp dep install" ,
5+ "build" : " jshint src && jscs src && pulp build && rimraf docs && pulp docs"
6+ },
7+ "devDependencies" : {
8+ "jscs" : " ^1.13.1" ,
9+ "jshint" : " ^2.8.0" ,
10+ "pulp" : " ^4.0.2" ,
11+ "rimraf" : " ^2.4.1" ,
12+ "stream-buffers" : " ^3.0.0"
13+ }
14+ }
You can’t perform that action at this time.
0 commit comments