You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
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)
|
|
|
|
|
|
|
|
|
|
include(CheckIncludeFile)
|
