From 3a140b0dc60e871861f9dded7b57d8f9f83d15ce Mon Sep 17 00:00:00 2001 From: aurelf Date: Fri, 12 Jan 2024 14:27:39 +0100 Subject: [PATCH] Update README.md (#154) Update README.md with instructions for LLVM-14 (instead of 10) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 9f4ac734..4e6cea09 100644 --- a/README.md +++ b/README.md @@ -24,7 +24,7 @@ Under Ubuntu Groovy the following one liner should install all required packages: ``` -sudo apt install -y git cargo clang-10 cmake g++ git libz3-dev llvm-10-dev llvm-10-tools ninja-build python2 python3-pip zlib1g-dev && sudo pip3 install lit +sudo apt install -y git cargo clang-14 cmake g++ git libz3-dev llvm-14-dev llvm-14-tools ninja-build python2 python3-pip zlib1g-dev && sudo pip3 install lit ``` Alternatively, see below for using the provided Dockerfile, or the file