projects / llvm-toolchain-9.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c1c533) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Wed, 1 Apr 2020 15:23:55 +0000 (16:23 +0100)
committerJessica Clarke <jrtc27@debian.org>
Wed, 1 Apr 2020 15:23:55 +0000 (16:23 +0100)
commitce5b8b79dc2387e7c270e3fef84a1140c0f17937
treeadbb77ce53f63a27e7aae19fe87bf0325323a136tree | snapshot
parent8c1c5332c2edd886cafb39c505e7213d1c24cf1ecommit | 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.