File tree Expand file tree Collapse file tree 6 files changed +14
-80
lines changed Expand file tree Collapse file tree 6 files changed +14
-80
lines changed Original file line number Diff line number Diff line change 1
1
language : node_js
2
+ sudo : false
2
3
node_js :
3
4
- 0.10
4
5
env :
8
9
- wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
9
10
- tar -xvf $HOME/purescript.tar.gz -C $HOME/
10
11
- chmod a+x $HOME/purescript
11
- - npm install bower gulp -g
12
- - npm install && bower install
12
+ - npm install
13
13
script :
14
- - gulp
14
+ - npm run build
Original file line number Diff line number Diff line change 1
1
# purescript-exists
2
2
3
+ [ ![ Latest release] ( http://img.shields.io/bower/v/purescript-exists.svg )] ( https://github.com/purescript/purescript-exists/releases )
3
4
[ ![ Build Status] ( https://travis-ci.org/purescript/purescript-exists.svg?branch=master )] ( https://travis-ci.org/purescript/purescript-exists )
5
+ [ ![ Dependency Status] ( https://www.versioneye.com/user/projects/55848c7c363861001d000339/badge.svg?style=flat )] ( https://www.versioneye.com/user/projects/55848c7c363861001d000339 )
4
6
5
7
Existential types as a library.
6
8
@@ -12,4 +14,4 @@ bower install purescript-exists
12
14
13
15
## Module documentation
14
16
15
- - [ Data.Exists] ( docs/Data. Exists.md )
17
+ - [ Data.Exists] ( docs/Data/ Exists.md )
Original file line number Diff line number Diff line change 14
14
" output" ,
15
15
" test" ,
16
16
" bower.json" ,
17
- " gulpfile.js" ,
18
17
" package.json"
19
18
],
20
19
"devDependencies" : {
File renamed without changes.
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 1
1
{
2
2
"private" : true ,
3
+ "scripts" : {
4
+ "postinstall" : " pulp dep install" ,
5
+ "build" : " jshint src && jscs src && pulp test && rimraf docs && pulp docs"
6
+ },
3
7
"devDependencies" : {
4
- "gulp" : " ^3.8.11" ,
5
- "gulp-jscs" : " ^1.6.0" ,
6
- "gulp-jshint" : " ^1.10.0" ,
7
- "gulp-plumber" : " ^1.0.0" ,
8
- "gulp-purescript" : " ^0.5.0-rc.1" ,
9
- "gulp-run" : " ^1.6.8" ,
10
- "rimraf" : " ^2.3.3"
8
+ "jscs" : " ^1.13.1" ,
9
+ "jshint" : " ^2.8.0" ,
10
+ "pulp" : " ^4.0.2" ,
11
+ "rimraf" : " ^2.4.1"
11
12
}
12
13
}
You can’t perform that action at this time.
0 commit comments