LLVM/Clang 16.0.1 release for use in VeriFast. Configured with following CMake variables:
LLVM_ENABLE_PROJECTS=clang
LLVM_BUILD_TOOLS=OFF
CMAKE_BUILD_TYPE=Release
BUILD_SHARED_LIBS=OFF
LLVM_BUILD_LLVM_DYLIB=OFF
LLVM_ENABLE_BINDINGS=OFF
LLVM_ENABLE_FFI=OFF
LLVM_ENABLE_ZLIB=OFF
LLVM_ENABLE_LIBXML2=OFF
LLVM_ENABLE_TERMINFO=OFF
LLVM_TARGETS_TO_BUILD=X86
LLVM_ENABLE_ZSTD=OFF