File tree Expand file tree Collapse file tree 7 files changed +11
-57
lines changed Expand file tree Collapse file tree 7 files changed +11
-57
lines changed Original file line number Diff line number Diff line change 11/. *
22! /.gitignore
3- ! /.jscsrc
4- ! /.jshintrc
53! /.travis.yml
64/bower_components /
75/node_modules /
Load Diff This file was deleted.
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 11language : node_js
22dist : trusty
33sudo : required
4- node_js : 6
4+ node_js : stable
55env :
66 - PATH=$HOME/purescript:$PATH
77install :
@@ -11,11 +11,9 @@ install:
1111 - chmod a+x $HOME/purescript
1212 - npm install -g bower
1313 - npm install
14+ - bower install
1415script :
15- - bower install --production
1616 - npm run -s build
17- - bower install
18- - npm -s test
1917after_success :
2018- >-
2119 test $TRAVIS_TAG &&
Original file line number Diff line number Diff line change 11# purescript-typelevel-prelude
22
3- [ ![ Build Status] ( https://travis-ci.org/purescript/purescript-typelevel-prelude.svg?branch=master )] ( https://travis-ci.org/purescript/purescript-typelevel-prelude )
3+ [ ![ Latest release] ( http://img.shields.io/github/release/purescript/purescript-typelevel-prelude.svg )] ( https://github.com/purescript/purescript-typelevel-prelude/releases )
4+ [ ![ Build status] ( https://travis-ci.org/purescript/purescript-typelevel-prelude.svg?branch=master )] ( https://travis-ci.org/purescript/purescript-typelevel-prelude )
45
56Types and kinds for basic type-level programming, for PureScript >= v0.10.5.
67
Original file line number Diff line number Diff line change 1616 " package.json"
1717 ],
1818 "dependencies" : {
19- "purescript-proxy" : " ^1.0.0" ,
20- "purescript-symbols" : " ^2.0.0" ,
21- "purescript-type-equality" : " ^1.0.0"
22- },
23- "devDependencies" : {
24- "purescript-psci-support" : " ^2.0.0"
19+ "purescript-proxy" : " ^2.0.0" ,
20+ "purescript-symbols" : " ^3.0.0" ,
21+ "purescript-type-equality" : " ^2.0.0"
2522 }
2623}
Original file line number Diff line number Diff line change 22 "private" : true ,
33 "scripts" : {
44 "clean" : " rimraf output && rimraf .pulp-cache" ,
5- "build" : " jshint src && jscs src && psa \" src/**/*.purs\" \" bower_components/purescript-*/src/**/*.purs\" --censor-lib --strict" ,
6- "test" : " psc \" src/**/*.purs\" \" bower_components/purescript-*/src/**/*.purs\" \" test/**/*.purs\" && psc-bundle \" output/**/*.js\" --module Test.Main --main Test.Main | node"
5+ "build" : " pulp build -- --censor-lib --strict"
76 },
87 "devDependencies" : {
9- "jscs" : " ^2.8.0" ,
10- "jshint" : " ^2.9.1" ,
11- "pulp" : " ^8.2.0" ,
12- "purescript-psa" : " ^0.3.8" ,
13- "rimraf" : " ^2.5.0"
8+ "pulp" : " ^10.0.4" ,
9+ "purescript-psa" : " ^0.5.0-rc.1" ,
10+ "rimraf" : " ^2.6.1"
1411 }
1512}
You can’t perform that action at this time.
0 commit comments