diff options
| author | Nicolas Benes <nbenes.gh@xandea.de> | 2023-01-01 17:26:22 +0100 |
|---|---|---|
| committer | Nicolas Benes <nbenes.gh@xandea.de> | 2023-01-01 17:44:51 +0100 |
| commit | e8a2f9fba654aa43326d5da1b9e84c9ed4cc1236 (patch) | |
| tree | 9231ee94eb704993ed0e31e65f2b3c48e0bc9fdf /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 511f9544cc5498ee3cb459caf3d85dd6c273add0 (diff) | |
dataexplorer: pin jdk17
Since the default jdk changed to jdk19, DataExplorer fails at startup:
```console
$ ./result/bin/DataExplorer
java.lang.NullPointerException: Cannot read field "width" because the return value of "gde.config.Settings.getWindow()" is null
at gde.ui.DataExplorer.execute(DataExplorer.java:406)
at gde.GDE.main(GDE.java:544)
```
Therefore, pin to jdk17, which is also the latest recommended version by
upstream:
> The only requirement is the installation of a Java run-time of version
> 8 to Java 17 for the 32 bit versions and Java 11 to 17 for the 64 bit
> versions, such as IcedTea or open JDK.
https://www.nongnu.org/dataexplorer/index.html#Introduction
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions