gnu: java-openjfx-build: Add helpful patch.
authorAlexey Abramov <levenson@mmer.org>
Sat, 30 May 2020 17:09:43 +0000 (19:09 +0200)
committerLudovic Courtès <ludo@gnu.org>
Wed, 3 Jun 2020 16:05:56 +0000 (18:05 +0200)
commitd9ef5aeba757c6f86d2abafe6b62ef4c2516c2e6
tree42b7e5f57e465fa7f1d0182fe97eb2f427777c8a
parentb6c445931e85c07286a79bc9c80fdc956d58b1e2
gnu: java-openjfx-build: Add helpful patch.

* gnu/packages/java.scm (java-openjfx-build)[source]: Use it.
* gnu/packages/patches/java-openjfx-build-jdk_version.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.

Signed-off-by: Alexey Abramov <levenson@mmer.org>
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu/local.mk
gnu/packages/java.scm
gnu/packages/patches/java-openjfx-build-jdk_version.patch [new file with mode: 0644]