···34343535 ln -sf $out/codeql/tools/linux64/lib64trace.so $out/codeql/tools/linux64/libtrace.so
36363737- sed -i 's%\$CODEQL_DIST/tools/\$CODEQL_PLATFORM/java-aarch64%\${jdk17}%g' $out/codeql/codeql
3838- sed -i 's%\$CODEQL_DIST/tools/\$CODEQL_PLATFORM/java%\${jdk17}%g' $out/codeql/codeql
3737+ # many of the codeql extractors use CODEQL_DIST + CODEQL_PLATFORM to
3838+ # resolve java home, so to be able to create databases, we want to make
3939+ # sure that they point somewhere sane/usable since we can not autopatch
4040+ # the codeql packaged java dist, but we DO want to patch the extractors
4141+ # as well as the builders which are ELF binaries for the most part
4242+ rm -rf $out/codeql/tools/linux64/java
4343+ ln -s ${jdk17} $out/codeql/tools/linux64/java
39444045 ln -s $out/codeql/codeql $out/bin/
4146 '';