Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 8c94e8d

Browse files
committedMar 28, 2015
Update build
1 parent 2d50e61 commit 8c94e8d

File tree

3 files changed

+32
-34
lines changed

3 files changed

+32
-34
lines changed
 

‎Gruntfile.js

Lines changed: 0 additions & 30 deletions
This file was deleted.

‎gulpfile.js

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
"use strict";
2+
3+
var gulp = require("gulp");
4+
var plumber = require("gulp-plumber");
5+
var purescript = require("gulp-purescript");
6+
var jsvalidate = require("gulp-jsvalidate");
7+
8+
gulp.task("make", function() {
9+
return gulp.src(["src/**/*.purs", "bower_components/purescript-*/src/**/*.purs"])
10+
.pipe(plumber())
11+
.pipe(purescript.pscMake());
12+
});
13+
14+
gulp.task("jsvalidate", ["make"], function () {
15+
return gulp.src("output/**/*.js")
16+
.pipe(plumber())
17+
.pipe(jsvalidate());
18+
});
19+
20+
gulp.task("docs", function () {
21+
return gulp.src("src/**/*.purs")
22+
.pipe(plumber())
23+
.pipe(purescript.pscDocs())
24+
.pipe(gulp.dest("README.md"));
25+
});
26+
27+
gulp.task("default", ["jsvalidate", "docs"]);

‎package.json

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,9 @@
11
{
22
"private": true,
3-
"dependencies": {
4-
"grunt": "~0.4.4",
5-
"grunt-purescript": "~0.5.1",
6-
"grunt-contrib-clean": "~0.5.0"
3+
"devDependencies": {
4+
"gulp": "^3.8.11",
5+
"gulp-jsvalidate": "^1.0.1",
6+
"gulp-plumber": "^1.0.0",
7+
"gulp-purescript": "^0.2.0"
78
}
89
}

0 commit comments

Comments
 (0)
Please sign in to comment.