projects / llvm-toolchain-10.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4e2f16) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Wed, 8 Jul 2020 08:49:26 +0000 (09:49 +0100)
committerSylvestre Ledru <sylvestre@debian.org>
Wed, 8 Jul 2020 08:49:26 +0000 (09:49 +0100)
commitc1af2d7eb2caf41945acee71920e0c0a681e291d
tree81d8fcc421eafbc088490c77f818d58fd49afb8etree | snapshot
parentc4e2f1694908e5467db670f7277accf4f6c4ba5ecommit | 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.