]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4478cc1) | patch
cmake: z3: Remove EXACT from 4.7.1 after being compatible with 4.8.1
authorJan Kratochvil <jan.kratochvil@redhat.com>
Sun, 18 Nov 2018 09:36:36 +0000 (09:36 +0000)
committerJan Kratochvil <jan.kratochvil@redhat.com>
Sun, 18 Nov 2018 09:36:36 +0000 (09:36 +0000)
commit6c59a8e68d93b90a77951a24724782f584bfebbd
treeb9a9e2957205e265fbc12d71261a5d0902511c66tree | snapshot
parent4478cc1b78174a29430da5419cef6881298e1491commit | diff
cmake: z3: Remove EXACT from 4.7.1 after being compatible with 4.8.1

After check-in of D54391 a comment there by @mikhail.ramalho says:
Since we're supporting version 4.8.1 now, the cmake file should be changed to
"minimum" instead of "exact".

Differential Revision: https://reviews.llvm.org/D54535

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@347152 91177308-0d34-0410-b5e6-96231b3b80d8
CMakeLists.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.