projects / llvm-toolchain-9.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a5f95d3) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Tue, 25 Feb 2020 14:28:58 +0000 (14:28 +0000)
committerGianfranco Costamagna <locutusofborg@debian.org>
Tue, 25 Feb 2020 14:28:58 +0000 (14:28 +0000)
commit473c9c61f1ce6caf8a77dcd89a842fad1cb98979
tree11feefdfdb8c02f4aa4d8d55733f6a59c36081c6tree | snapshot
parenta5f95d39103ed71240535f85a0da15d9c4c1cdfecommit | 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.