projects / llvm-toolchain-10.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7801b41) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Wed, 2 Sep 2020 11:55:46 +0000 (12:55 +0100)
committerSylvestre Ledru <sylvestre@debian.org>
Wed, 2 Sep 2020 11:55:46 +0000 (12:55 +0100)
commit64731d9efc425ec888af01bed880e320db2b76eb
tree8536ea3d4ea7eda8da4b609b616e5c93e9c3934atree | snapshot
parent7801b41d66ddf050e9b931fdc617174b5eb0e3d0commit | 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.