From 1d9ee0e3b28dcebebe66c34fdfb97da15a665c3a Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Wed, 4 Mar 2026 15:13:36 -0800 Subject: [PATCH] Amazon Linux 2023 compilation instructions This updates the file COMPILING.md with instructions for compiling on Amazon Linux 2023. --- COMPILING.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/COMPILING.md b/COMPILING.md index 7418cbbe1b2..d7590cada06 100644 --- a/COMPILING.md +++ b/COMPILING.md @@ -152,9 +152,9 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution. ``` Note that you need g++ version 7.0 or newer. - On Amazon Linux and similar distributions, do as root: + On Amazon Linux 2023 and similar distributions, do as root: ``` - yum install gcc72-c++ flex bison curl patch tar + yum install gcc-c++ flex bison patch tar ``` To compile JBMC, you additionally need the JDK and Maven 3. You also