2 changed files with 13 additions and 14 deletions
@ -1,15 +1,14 @@
|
||||
Index: tools/clang/CMakeLists.txt
|
||||
--- tools/clang/CMakeLists.txt.orig 2017-07-18 10:55:03.000000000 +0200
|
||||
+++ tools/clang/CMakeLists.txt 2017-09-08 09:10:05.653486000 +0200
|
||||
@@ -181,11 +181,6 @@
|
||||
# we can include cmake files from this directory.
|
||||
list(APPEND CMAKE_MODULE_PATH "${CMAKE_CURRENT_SOURCE_DIR}/cmake/modules")
|
||||
|
||||
-find_package(LibXml2 2.5.3 QUIET)
|
||||
-if (LIBXML2_FOUND)
|
||||
- set(CLANG_HAVE_LIBXML 1)
|
||||
-endif()
|
||||
-
|
||||
find_package(Z3 4.5)
|
||||
--- tools/clang/CMakeLists.txt.orig 2018-03-08 17:16:12.607860000 +0100
|
||||
+++ tools/clang/CMakeLists.txt 2018-03-08 17:39:14.822765000 +0100
|
||||
@@ -188,10 +188,6 @@
|
||||
# code may call MSan interceptors like strlen, leading to false positives.
|
||||
if(NOT LLVM_USE_SANITIZER MATCHES "Memory.*")
|
||||
set (LIBXML2_FOUND 0)
|
||||
- find_package(LibXml2 2.5.3 QUIET)
|
||||
- if (LIBXML2_FOUND)
|
||||
- set(CLANG_HAVE_LIBXML 1)
|
||||
- endif()
|
||||
endif()
|
||||
|
||||
include(CheckIncludeFile)
|
||||
|
Loading…
Reference in new issue