diff options
| author | Profpatsch <mail@profpatsch.de> | 2020-12-24 02:58:08 +0100 |
|---|---|---|
| committer | Profpatsch <mail@profpatsch.de> | 2020-12-24 17:11:04 +0100 |
| commit | c505e57173cd71a9de599b2cbffd17ec7d8e7f64 (patch) | |
| tree | 759e84ba3bbd4d67dc1b9059ccd5fe900d9102fd /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | fb875dcf6fbadafb41c64d9f4e1ef056f127bcb3 (diff) | |
tree-sitter: patch out web-ui by default, to drop emscripten
The tree-sitter build closure is pretty lean by default, but the
optional web-ui requires emscripten to compile the web interface
javascript/wasm code.
This is clearly not worth the increase in build closure size, and
since emscripten is broken more often than not, let’s patch it out by
default. If somebody /really/ needs the web-ui, there is a
`webUISupport` flag.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions