On Thu, 25 May 2023 19:20:45 GMT, Kevin Rushforth <k...@openjdk.org> wrote:
> Probably this is because the JDK decided to defer the update until JDK 22, > but I'll check and let you know what I find. Yes, I confirmed that this is the reason it didn't get pushed to jdk. The following diff was used to produce our gcc 12.2 devkit: diff --git a/make/devkit/Tools.gmk b/make/devkit/Tools.gmk index f882ca53375..482459400be 100644 --- a/make/devkit/Tools.gmk +++ b/make/devkit/Tools.gmk @@ -95,8 +95,17 @@ endif # Define external dependencies # Latest that could be made to work. -GCC_VER := 11.3.0 -ifeq ($(GCC_VER), 11.3.0) +GCC_VER := 12.2.0 +ifeq ($(GCC_VER), 12.2.0) + gcc_ver := gcc-12.2.0 + binutils_ver := binutils-2.38 + ccache_ver := ccache-3.7.12 + mpfr_ver := mpfr-4.1.0 + gmp_ver := gmp-6.2.1 + mpc_ver := mpc-1.2.1 + gdb_ver := gdb-12.1 + REQUIRED_MIN_MAKE_MAJOR_VERSION := 4 +else ifeq ($(GCC_VER), 11.3.0) ------------- PR Comment: https://git.openjdk.org/jfx/pull/1141#issuecomment-1563407396
