projects / llvm-toolchain-10.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9bc5b45) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Tue, 24 Mar 2020 16:37:07 +0000 (16:37 +0000)
committerSylvestre Ledru <sylvestre@debian.org>
Tue, 24 Mar 2020 16:37:07 +0000 (16:37 +0000)
commit28ae27454fc28e33d3396f898a56b598f06677d9
tree8d76aa52467d4d61d162d2b81d3dd5db89d3e02ctree | snapshot
parent9bc5b45c168a8833bfcbc39ad323b3c8f216bda7commit | 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.