projects / llvm-toolchain-10.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23b4ec4) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Mon, 31 Aug 2020 10:28:24 +0000 (11:28 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Mon, 31 Aug 2020 10:28:24 +0000 (11:28 +0100)
commit8d331b873b3164edea270638533ab6cef8081266
tree78849e377b125efe05db6830177a99d4dc7e52c5tree | snapshot
parent23b4ec4fb611ebfb082da5084e1894a69ebcb4ffcommit | 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.