projects / llvm-toolchain-9.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6de3322) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Tue, 7 Jul 2020 16:18:00 +0000 (17:18 +0100)
committerSylvestre Ledru <sylvestre@debian.org>
Tue, 7 Jul 2020 16:18:00 +0000 (17:18 +0100)
commit6d8560fcbd44d69e7ed26045dd8d37ddd8ca2ab4
tree4ee1dbef1dad33f54f2cc3389b9e3651f80680cetree | snapshot
parent6de3322a51cec27dce4001e42120de3a8745889bcommit | 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.