projects / llvm-toolchain-10.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f846520) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Thu, 22 Oct 2020 20:29:07 +0000 (21:29 +0100)
committerSylvestre Ledru <sylvestre@debian.org>
Thu, 22 Oct 2020 20:29:07 +0000 (21:29 +0100)
commitfc185a9812ac965209ed7cbeb6651936e654073b
tree4a639457d7ec9adf0b4b3bbb8d5162d58d50ae2dtree | snapshot
parentf846520538674047b36b14312ed25b292642932ccommit | 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.