projects / llvm-toolchain-9.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 257fca0) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Sat, 15 Aug 2020 19:53:41 +0000 (20:53 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Sat, 15 Aug 2020 19:53:41 +0000 (20:53 +0100)
commitd1540aa79c6ff5d226099542c9fcd408faadb315
treec5e7f41fb78779d570664ceeb8c2de3d3d6c45fbtree | snapshot
parent257fca0671035f286fccc8b6e3e781487273eaf3commit | 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.