From 0b897fd3be6008016b36a673c504b7cfc4def6fd Mon Sep 17 00:00:00 2001
From: Zuzana Baranova <xbaranov@fi.muni.cz>
Date: Mon, 24 Jun 2019 19:33:47 +0000
Subject: [PATCH] cmake: Generate a stringlist of builtin headers (provided by
the compiler).
---
divine/CMakeLists.txt | 11 +++++++----
1 file changed, 7 insertions(+), 4 deletions(-)
diff --git a/divine/CMakeLists.txt b/divine/CMakeLists.txt
index a947b18d2..88dfa8478 100644
--- a/divine/CMakeLists.txt
+++ b/divine/CMakeLists.txt
@@ -7,6 +7,12 @@ foreach( D mem vm ss mc ui cc ltl sim smt dbg )
install( FILES ${HPP_${D}} DESTINATION include/divine/${D} )
endforeach()
+file( GLOB H_BUILTIN LIST_DIRECTORIES false cc/*.h )
+foreach( f ${H_BUILTIN} )
+ stringify( cc ${divine_SOURCE_DIR}/divine/cc ${f} )
+endforeach()
+stringlist( "cc" cc )
+
#template_separe( VM vm/interpreter.cpp )
set( VERSION_FILE ${divine_BINARY_DIR}/divine/version-generated.cpp )
@@ -31,12 +37,9 @@ include_directories( SYSTEM ${DIVINE_SYS_INCLUDES} )
add_definitions( ${MPI_COMPILE_FLAGS} ${LLVM_COMPILE_FLAGS} )
add_definitions( ${DIVINE_DEFINES} )
-stringify( cc ${divine_SOURCE_DIR}/divine/cc stddef.h )
-stringify( cc ${divine_SOURCE_DIR}/divine/cc stdarg.h )
-
# add_library( divine-ss ${CPP_ss} )
add_library( divine-ui ${CPP_ui} ${VERSION_FILE} "flags-generated.cpp" )
-add_library( divine-cc ${CPP_cc} ${cc_FILES} )
+add_library( divine-cc ${CPP_cc} ${cc_FILES} cc_list.cpp )
add_dependencies( divine-ui divine-version )
foreach( D ltl mc smt vm dbg )
add_library( divine-${D} ${CPP_${D}} )
--
GitLab