This repository was archived by the owner on Aug 4, 2023. It is now read-only.
File tree Expand file tree Collapse file tree 3 files changed +16
-69
lines changed
Expand file tree Collapse file tree 3 files changed +16
-69
lines changed Original file line number Diff line number Diff line change 11language : node_js
22sudo : false
33node_js :
4+ - 0.10
45 - 0.12
5- - 4.0
6+ - 4.1
7+ env :
8+ - PATH=$HOME/purescript:$PATH
69install :
7- - npm install bower gulp -g
8- - npm install && bower install
10+ - 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')
11+ - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
12+ - tar -xvf $HOME/purescript.tar.gz -C $HOME/
13+ - chmod a+x $HOME/purescript
14+ - npm install
915script :
10- - gulp
16+ - npm run build
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 11{
22 "private" : true ,
3+ "scripts" : {
4+ "postinstall" : " pulp dep install" ,
5+ "build" : " pulp build && rimraf docs && pulp docs"
6+ },
37 "devDependencies" : {
4- "bluebird" : " 2.9.27" ,
5- "del" : " 1.2.0" ,
6- "gulp" : " 3.9.0" ,
7- "gulp-purescript" : " 0.5.0-rc.1" ,
8- "lodash" : " 3.9.3" ,
9- "bluebird" : " ^2.9.27" ,
10- "del" : " ^1.2.0" ,
11- "gulp" : " ^3.9.0" ,
12- "gulp-purescript" : " ^0.5.0-rc.1" ,
13- "gulp-run" : " ^1.6.8" ,
14- "lodash" : " ^3.9.3" ,
15- "purescript" : " ^0.7.4-rc.1"
8+ "pulp" : " ^4.0.2" ,
9+ "rimraf" : " ^2.4.1"
1610 }
1711}
You can’t perform that action at this time.
0 commit comments