From 16a9ab283c968b8cb796cfc12c37fe8118f7c57f Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 10 Nov 2025 10:57:42 +0000 Subject: [PATCH] Fix macOS compilation instructions for CMake macOS requires specifying clang as compiler. Fixes: #8683 --- COMPILING.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/COMPILING.md b/COMPILING.md index 95d6dd993e7..7418cbbe1b2 100644 --- a/COMPILING.md +++ b/COMPILING.md @@ -90,11 +90,12 @@ files. ``` On macOS >10.14, the build will fail unless you explicitly specify - the full path to the compiler. This issue is being tracked - [here](https://github.com/diffblue/cbmc/issues/4956). The invocation thus + both the C and C++ compilers to avoid C++ standard library not found + errors. This issue is being tracked + [here](https://github.com/diffblue/cbmc/issues/8683). The invocation thus looks like this: ``` - cmake -S. -Bbuild -DCMAKE_C_COMPILER=/usr/bin/clang + cmake -S. -Bbuild -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++ ``` Generally it is not necessary to manually specify individual compiler or