From 1ab8d19cf3b7eb559f5c7068b822c315f9aeff26 Mon Sep 17 00:00:00 2001
From: Calvin Rose <calsrose@gmail.com>
Date: Wed, 4 Jul 2018 11:02:03 -0400
Subject: [PATCH] Fix CMake build.

---
 CMakeLists.txt                         | 10 +++++-----
 cmake/{genboot.cmake => gencore.cmake} |  0
 2 files changed, 5 insertions(+), 5 deletions(-)
 rename cmake/{genboot.cmake => gencore.cmake} (100%)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index d283ac1f..583c0958 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -75,7 +75,7 @@ src/core/state.h
 src/core/symcache.h
 src/core/util.h
 
-src/include/generated/boot.h
+generated/core.h
 )
 
 set(MAINCLIENT_SOURCES
@@ -83,7 +83,7 @@ src/mainclient/main.c
 src/mainclient/line.c
 src/mainclient/line.h
 
-src/include/generated/init.h
+generated/init.h
 )
 
 set(REPL_SOURCES
@@ -108,9 +108,9 @@ set_target_properties(${TARGET_NAME} PROPERTIES PUBLIC_HEADER "${DST_PUBLIC_HEAD
 
 # Generate header containing standard library
 add_custom_command(
-    OUTPUT generated/boot.h
-    COMMAND ${CMAKE_COMMAND} -P ${CMAKE_CURRENT_SOURCE_DIR}/cmake/genboot.cmake
-    DEPENDS src/core/boot.dst
+    OUTPUT generated/core.h
+    COMMAND ${CMAKE_COMMAND} -P ${CMAKE_CURRENT_SOURCE_DIR}/cmake/gencore.cmake
+    DEPENDS src/core/core.dst
     COMMENT "Generating stl bootstrap C header for embedding"
 )
 
diff --git a/cmake/genboot.cmake b/cmake/gencore.cmake
similarity index 100%
rename from cmake/genboot.cmake
rename to cmake/gencore.cmake