try libc++ 11.2.0

tock · Nov 10, 2023 · c8701a9 · c8701a9
1 parent 0a33e3d
commit c8701a9
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 ?= 12.2.0
+LIBCPP_VERSION ?= 11.2.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 ?= 12.2.0
+GCC_VERSION ?= 11.2.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=12.2.0
+LIBCPP=11.2.0
 cd libtock-c/libc++
 docker build -t libtock-c-libcpp .
 id=$(docker create libtock-c-libcpp)