projects / llvm-toolchain-10.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fbb9215) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Tue, 21 Jul 2020 16:29:06 +0000 (17:29 +0100)
committerSylvestre Ledru <sylvestre@debian.org>
Tue, 21 Jul 2020 16:29:06 +0000 (17:29 +0100)
commit398ee3b0f3165b92de11323196af85c2429a5a2e
treecb7b08379e46d261a22a175c1c03c101be9f413ftree | snapshot
parentfbb9215eae4b325bfd97822dec6d243d8b04d93dcommit | 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.