projects / llvm-toolchain-10.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f8817d) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Fri, 10 Apr 2020 08:27:41 +0000 (09:27 +0100)
committerSylvestre Ledru <sylvestre@debian.org>
Fri, 10 Apr 2020 08:27:41 +0000 (09:27 +0100)
commitef50a730aa77f040c3c90b5f5d31993d417a11fb
tree833f421c1f33b0411a7e039e954f95618e360b77tree | snapshot
parent6f8817da16e66d7cddcb7dbd511351b3a34a737dcommit | 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.