From 18a442602ad484f26b2e5024eb9c2b439fe521d3 Mon Sep 17 00:00:00 2001 From: kunjsong01 Date: Sun, 21 Jan 2024 11:03:32 +0000 Subject: [PATCH] [BUILDING] added notes in preparing clang section --- BUILDING.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/BUILDING.md b/BUILDING.md index acb0701c3f4..8387b169773 100644 --- a/BUILDING.md +++ b/BUILDING.md @@ -60,6 +60,8 @@ LLVM/Clang toolchain for ESBMC's frontend in case you want to verify CHERI-C programs as well. Note that the CHERI-support in ESBMC is experimental and incomplete at this point. +If you are building ESBMC-CHERI, skip the following sections and go straight to Section `Preparing CHERI Clang 13 (experimental)`. + ### Preparing external standard Clang (recommended for a static build) You can either download and unpack a release manually: