Skip to content

LLVM/Clang 16.0.1
Compare
Choose a tag to compare
@NielsMommen NielsMommen released this 20 Apr 07:08
· 2 commits to main since this release
v2.0.1
ab7106b
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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

SHA-256:

  • vf-llvm-clang-build-ab7106b-Linux.tar.gz: 5d74b9057369bf336c860d2740c568af1eb5776bb0bc7dfa3e140c53b5f8fda4
  • vf-llvm-clang-build-ab7106b-macOS.tar.gz: a0c3744642e0eb533567637aab5ad2d446ed28a9ac846f82903ac13adb9405c8
  • vf-llvm-clang-build-ab7106b-Windows-i686.tar.gz: AFF2B2D2FAD431270C0A3EA4ADD7D6CBDCDBDF40AC62B65B1F9F7B6FE8AB9322
  • vf-llvm-clang-build-ab7106b-Windows-x86_64.tar.gz: 8066E3658CD16AD258672B45350F28646DAFB869CED281275DEB46D048AD741F
  • vf-llvm-clang-build-ab7106b-Windows-Win32.tar.gz: D306C6528DDADD4C3699C87A635359F605D43D75BA597FE77CA86133984F472F
  • vf-llvm-clang-build-ab7106b-Windows-x64.tar.gz: 14771146FE35C6C1098B14CF4F5D26E61E5072AFC1BC29BC8FC36977418AEE7B

Changes

  • Disable zstd
Assets 15
Loading