openjdk: 12.0.2 -> 13.0.1

2019-10-17 11:47:41 -04:00
parent d9d5b737ee
commit d00559ebb8
9 changed files with 253 additions and 26 deletions
@@ -29,6 +29,9 @@ let
      JDK_HOME = ${openjdk11-bootstrap.home}
    '' + args.gradleProperties or "");

+    #avoids errors about deprecation of GTypeDebugFlags, GTimeVal, etc.
+    NIX_CFLAGS_COMPILE = [ "-DGLIB_DISABLE_DEPRECATION_WARNINGS" ];
+
    buildPhase = ''
      runHook preBuild