global-platform-pro: use jdk8
This commit is contained in:
parent
936537e214
commit
bf92a5440e
1 changed files with 2 additions and 1 deletions
|
@ -1,5 +1,6 @@
|
|||
{ stdenv, fetchFromGitHub, jdk, maven, makeWrapper, jre_headless, pcsclite }:
|
||||
{ stdenv, fetchFromGitHub, jdk8, maven, makeWrapper, jre8_headless, pcsclite }:
|
||||
|
||||
let jdk = jdk8; jre_headless = jre8_headless; in
|
||||
# TODO: This is quite a bit of duplicated logic with gephi. Factor it out?
|
||||
stdenv.mkDerivation rec {
|
||||
pname = "global-platform-pro";
|
||||
|
|
Loading…
Reference in a new issue