2017-09-10 13:41:34 +02:00
|
|
|
import gulp from 'gulp'
|
|
|
|
|
import jison from 'gulp-jison'
|
|
|
|
|
import filelog from 'gulp-filelog'
|
2017-09-03 06:19:34 +02:00
|
|
|
|
|
|
|
|
gulp.task('jison', function () {
|
|
|
|
|
return gulp.src('./src/**/*.jison')
|
|
|
|
|
.pipe(filelog('Jison file:'))
|
|
|
|
|
.pipe(jison({ 'token-stack': true }))
|
|
|
|
|
.pipe(gulp.dest('./src/'))
|
|
|
|
|
})
|
