chore(mapbox): fix mapbox module

infra-geo-ouverte · Nov 26, 2019 · 938e2de · 938e2de
1 parent dfe58b8
commit 938e2de
Show file tree

Hide file tree

Showing 3 changed files with 2,322 additions and 97 deletions.
diff --git a/gulpfile.js b/gulpfile.js
@@ -1,6 +1,7 @@
 /*jshint esversion: 6 */
 const gulp = require('gulp');
 const del = require('del');
+const babel = require('gulp-babel');
 const exec = require('gulp-exec');
 const merge = require('gulp-merge-json');
 const jeditor = require('gulp-json-editor');
@@ -385,6 +386,25 @@ gulp.task('geo:fixOL', done => {
   done();
 });
 
+gulp.task('geo:fixMapbox', done => {
+  gulp
+    .src(
+      [
+        './node_modules/@mapbox/mapbox-gl-style-spec/deref.js',
+        './node_modules/ol-mapbox-style/stylefunction.js'
+      ],
+      { base: './' }
+    )
+    .pipe(
+      babel({
+        presets: ['@babel/env']
+      })
+    )
+    .pipe(gulp.dest('.'));
+
+  done();
+});
+
 // ==========================================================
 
 gulp.task(