projects / llvm-toolchain-9.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 45a787f) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Sat, 31 Oct 2020 13:09:15 +0000 (13:09 +0000)
committerSylvestre Ledru <sylvestre@debian.org>
Sat, 31 Oct 2020 13:09:15 +0000 (13:09 +0000)
commitb8a009a4c5bebf17238ee3f24e0cc26b757b5013
treefa4abfca1cc67fffacacd6b4bf0b0058be3585d7tree | snapshot
parent45a787f9667ba810ff16ca034863173e28fa53fdcommit | diff
Disable z3 to avoid pulling ocaml into main.

For some reason the cmake option LLVM_ENABLE_Z3_SOLVER was not taken into account
Last-Update: 2019-11-26

Gbp-Pq: Name no-z3.patch
llvm/CMakeLists.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.