projects / llvm-toolchain-9.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 85a68e5) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Thu, 23 Jan 2020 13:30:57 +0000 (13:30 +0000)
committerGianfranco Costamagna <locutusofborg@debian.org>
Thu, 23 Jan 2020 13:30:57 +0000 (13:30 +0000)
commit28f463b821ed13ad013f80f4d08b674ad10b2e6a
tree76e8827dea10e4d4ed1d27d5daf50b05d3bcc495tree | snapshot
parent85a68e57f578405bbe31c11d3fd98d69feb1a1dbcommit | 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.