projects / llvm-toolchain-9.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aef00de) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Tue, 31 Mar 2020 19:11:56 +0000 (20:11 +0100)
committerSylvestre Ledru <sylvestre@debian.org>
Tue, 31 Mar 2020 19:11:56 +0000 (20:11 +0100)
commit0afa5906eaf1430a6e3417ae48c174c23986c39b
tree81ecd63fc2678dc5d46970061258d21ece47c307tree | snapshot
parentaef00dedbe8b8f2185809ec52be58e3cb163a067commit | 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.