gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

codeql: jdk11 -> jdk17

Browse Source
This commit is contained in:
Weijia Wang
2023-03-18 12:52:18 +02:00
parent 291a1ae485
commit 952327b3b0
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/tools/analysis/codeql/default.nix
+3 -3
View File
@@ -1,4 +1,4 @@
{ lib, stdenv, fetchzip, zlib, xorg, freetype, jdk11, curl }:
{ lib, stdenv, fetchzip, zlib, xorg, freetype, jdk17, curl }:
stdenv.mkDerivation rec {
pname = "codeql";
@@ -21,7 +21,7 @@ stdenv.mkDerivation rec {
xorg.libXtst
xorg.libXrender
freetype
jdk11
jdk17
stdenv.cc.cc.lib
curl
];
@@ -34,7 +34,7 @@ stdenv.mkDerivation rec {
ln -sf $out/codeql/tools/linux64/lib64trace.so $out/codeql/tools/linux64/libtrace.so
sed -i 's%\$CODEQL_DIST/tools/\$CODEQL_PLATFORM/java%\${jdk11}%g' $out/codeql/codeql
sed -i 's%\$CODEQL_DIST/tools/\$CODEQL_PLATFORM/java%\${jdk17}%g' $out/codeql/codeql
ln -s $out/codeql/codeql $out/bin/
'';