File tree Expand file tree Collapse file tree 2 files changed +22
-1
lines changed Expand file tree Collapse file tree 2 files changed +22
-1
lines changed Original file line number Diff line number Diff line change
1
+ language : node_js
2
+ sudo : false
3
+ node_js :
4
+ - 0.10
5
+ env :
6
+ - PATH=$HOME/purescript:$PATH
7
+ 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
13
+ script :
14
+ - npm run build
Original file line number Diff line number Diff line change 1
1
{
2
- "name" : " purescript-bigints" ,
2
+ "scripts" : {
3
+ "postinstall" : " pulp dep install" ,
4
+ "build" : " pulp test && rimraf docs && pulp docs"
5
+ },
3
6
"dependencies" : {
4
7
"big-integer" : " ^1.5.5"
8
+ },
9
+ "devDependencies" : {
10
+ "pulp" : " ^4.0.2" ,
11
+ "rimraf" : " ^2.4.1"
5
12
}
6
13
}
You can’t perform that action at this time.
0 commit comments