From 7d4bb545f66c16736ab0080b108c317b3c1a294a Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 10 Jun 2020 16:15:05 +0200
Subject: [PATCH] Export option STORM_HAVE_XERCES for stormpy

---
 CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index fba289c3a..704396626 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -505,6 +505,8 @@ add_dependencies(check-verbose tests)
 set(STORM_TARGETS "")
 add_subdirectory(src)
 
+export_option(STORM_HAVE_XERCES)
+
 include(export)
 
 install(FILES ${CMAKE_BINARY_DIR}/stormConfig.install.cmake DESTINATION ${CMAKE_INSTALL_DIR} RENAME stormConfig.cmake)