try gcc 12.3.0

tock · Nov 22, 2023 · f21df38 · f21df38
1 parent 329ab0c
commit f21df38
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Configuration.mk b/Configuration.mk
@@ -29,7 +29,7 @@ SIZE := -size
 
 # Library versions.
 NEWLIB_VERSION ?= 4.2.0.20211231
-LIBCPP_VERSION ?= 13.2.0
+LIBCPP_VERSION ?= 12.3.0
 
 # Set default region sizes for process memory requirements.
 STACK_SIZE       ?= 2048

diff --git a/libc++/Makefile b/libc++/Makefile
@@ -1,4 +1,4 @@
-GCC_VERSION ?= 13.2.0
+GCC_VERSION ?= 12.3.0
 NEWLIB_VERSION ?= 4.2.0.20211231
 
 all: rebuild-gcc

diff --git a/libc++/README.md b/libc++/README.md
@@ -25,7 +25,7 @@ To help ensure reproducibility, we also include a Dockerfile which can be used
 to create the libc++ libraries.
 
 ```bash
-LIBCPP=13.2.0
+LIBCPP=12.3.0
 cd libtock-c/libc++
 docker build -t libtock-c-libcpp .
 id=$(docker create libtock-c-libcpp)