Attempt without ICU

UPPAALModelChecker · Jan 26, 2024 · aae27bd · aae27bd
1 parent abbc78f
commit aae27bd
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/cmake/libxml2.cmake b/cmake/libxml2.cmake
@@ -10,6 +10,7 @@ else(LibXml2_FOUND)
  set(LIBXML2_WITH_FTP OFF CACHE BOOL "LibXml2 FTP support")
  set(LIBXML2_WITH_HTTP OFF CACHE BOOL "LibXml2 HTTP support")
  set(LIBXML2_WITH_ICONV OFF CACHE BOOL "LibXml2 ICONV")
+ set(LIBXML2_WITH_ICU OFF CACHE BOOL "LibXml2 ICU")
  set(LIBXML2_WITH_LZMA OFF CACHE BOOL "LibXml2 LZMA")
  set(LIBXML2_WITH_PYTHON OFF CACHE BOOL "LibXml2 Python")
  set(LIBXML2_WITH_ZLIB OFF CACHE BOOL "LibXml2 libz")

diff --git a/src/typechecker.cpp b/src/typechecker.cpp
@@ -2596,8 +2596,9 @@ bool TypeChecker::isUniqueReference(expression_t expr) const
  }
 }
 
-static void static_analysis(Document& doc){
- if(!doc.has_errors()){
+static void static_analysis(Document& doc)
+{
+ if (!doc.has_errors()) {
  TypeChecker checker(doc);
  doc.accept(checker);
  FeatureChecker fchecker(doc);