Skip to content

LLVM/Clang 16.0.1

Latest
Compare
Choose a tag to compare
@NielsMommen NielsMommen released this 31 May 12:56
37740a3

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