Sakurai/pdf.js
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add a image_decoders-es5 gulp task, and include it in the pdfjs-dist library

Browse Source
This commit is contained in:
Jonas Jenwald 2020-08-17 14:30:09 +02:00
parent 628a1ee04e
commit 1cf660ba73
1 changed files with 26 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
gulpfile.js
View File

@ -54,7 +54,8 @@ var GENERIC_DIR = BUILD_DIR + "generic/";
var GENERIC_ES5_DIR = BUILD_DIR + "generic-es5/"; var GENERIC_ES5_DIR = BUILD_DIR + "generic-es5/";
var COMPONENTS_DIR = BUILD_DIR + "components/"; var COMPONENTS_DIR = BUILD_DIR + "components/";
var COMPONENTS_ES5_DIR = BUILD_DIR + "components-es5/"; var COMPONENTS_ES5_DIR = BUILD_DIR + "components-es5/";
var IMAGE_DECODERS_DIR = BUILD_DIR + "image_decoders"; var IMAGE_DECODERS_DIR = BUILD_DIR + "image_decoders/";
var IMAGE_DECODERS_ES5_DIR = BUILD_DIR + "image_decoders-es5/";
var DEFAULT_PREFERENCES_DIR = BUILD_DIR + "default_preferences/"; var DEFAULT_PREFERENCES_DIR = BUILD_DIR + "default_preferences/";
var MINIFIED_DIR = BUILD_DIR + "minified/"; var MINIFIED_DIR = BUILD_DIR + "minified/";
var MINIFIED_ES5_DIR = BUILD_DIR + "minified-es5/"; var MINIFIED_ES5_DIR = BUILD_DIR + "minified-es5/";
@ -829,6 +830,23 @@ gulp.task(
}) })
); );
gulp.task(
"image_decoders-es5",
gulp.series("buildnumber", function () {
console.log();
console.log("### Creating (ES5) image decoders");
var defines = builder.merge(DEFINES, {
GENERIC: true,
IMAGE_DECODERS: true,
SKIP_BABEL: false,
});
return createImageDecodersBundle(defines).pipe(
gulp.dest(IMAGE_DECODERS_ES5_DIR)
);
})
);
function buildMinified(defines, dir) { function buildMinified(defines, dir) {
rimraf.sync(dir); rimraf.sync(dir);
@ -1694,6 +1712,7 @@ gulp.task(
"components", "components",
"components-es5", "components-es5",
"image_decoders", "image_decoders",
"image_decoders-es5",
"lib", "lib",
"minified", "minified",
"types", "types",
@ -1760,7 +1779,12 @@ gulp.task(
.pipe(gulp.dest(DIST_DIR + "es5/web/")), .pipe(gulp.dest(DIST_DIR + "es5/web/")),
gulp gulp
.src(IMAGE_DECODERS_DIR + "**/*", { base: IMAGE_DECODERS_DIR }) .src(IMAGE_DECODERS_DIR + "**/*", { base: IMAGE_DECODERS_DIR })
.pipe(gulp.dest(DIST_DIR + "image_decoders")), .pipe(gulp.dest(DIST_DIR + "image_decoders/")),
gulp
.src(IMAGE_DECODERS_ES5_DIR + "**/*", {
base: IMAGE_DECODERS_ES5_DIR,
})
.pipe(gulp.dest(DIST_DIR + "es5/image_decoders/")),
gulp gulp
.src(LIB_DIR + "**/*", { base: LIB_DIR }) .src(LIB_DIR + "**/*", { base: LIB_DIR })
.pipe(gulp.dest(DIST_DIR + "lib/")), .pipe(gulp.dest(DIST_DIR + "lib/")),