From 2f172a5ded6ec3f89da91a81ff6ecb8042d2cc89 Mon Sep 17 00:00:00 2001 From: eric thul Date: Tue, 11 Aug 2015 21:24:51 -0400 Subject: Remove gulpfile.js --- gulpfile.js | 68 ------------------------------------------------------------- 1 file changed, 68 deletions(-) delete mode 100644 gulpfile.js diff --git a/gulpfile.js b/gulpfile.js deleted file mode 100644 index e217480..0000000 --- a/gulpfile.js +++ /dev/null @@ -1,68 +0,0 @@ -'use strict'; - -var path = require('path'); - -var gulp = require('gulp'); - -var gutil = require('gulp-util'); - -var plumber = require('gulp-plumber'); - -var purescript = require('gulp-purescript'); - -var sequence = require('run-sequence'); - -var del = require('del'); - -var config = { del: ['build', 'index.js'] - , purescript: { src: [ 'bower_components/purescript-*/src/**/*.purs*' - , 'src/**/*.purs' - ] - , dest: 'build' - , docs: 'MODULE.md' - } - } - ; - -function error(e) { - gutil.log(gutil.colors.magenta('>>>> Error <<<<') + '\n' + e.toString().trim()); - this.emit('end'); -} - -gulp.task('del', function(cb){ - del(config.del, cb); -}); - -gulp.task('make', function(){ - return gulp.src(config.purescript.src). - pipe(plumber()). - pipe(purescript.pscMake({output: config.purescript.dest})). - on('error', error); -}); - -gulp.task('psci', function(){ - return gulp.src(config.purescript.src). - pipe(plumber()). - pipe(purescript.dotPsci()). - on('error', error); -}); - -gulp.task('docs', function(){ - return gulp.src(config.purescript.src[1]). - pipe(plumber()). - pipe(purescript.pscDocs()). - on('error', error). - pipe(gulp.dest(config.purescript.docs)); -}); - -gulp.task('watch', function(){ - gulp.watch(config.purescript.src, ['make']); -}); - -gulp.task('default', function(callback){ - sequence('del', 'make', ['psci', 'docs'], callback); -}); - -gulp.task('build', function(callback){ - sequence('del', 'make', callback); -}); -- cgit v1.2.3