chore: move runtime implementation to src/runtime

2020-05-22 14:35:16 -07:00 · 2020-05-22 14:35:16 -07:00 · 2f1ec93289
commit 2f1ec93289
parent e28d13e0d4
23 changed files with 1 additions and 1 deletions
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@ -502,7 +502,7 @@ if(LEANCPP)
    COMMAND cmake -E copy_if_different "${LEANCPP}" "${CMAKE_BINARY_DIR}/lib/lean/libleancpp.a")
  add_dependencies(leancpp copy-leancpp)
 else()
-  add_subdirectory(lean/runtime)
+  add_subdirectory(runtime)
  set(LEAN_OBJS ${LEAN_OBJS} $<TARGET_OBJECTS:runtime>)
  add_subdirectory(util)
  set(LEAN_OBJS ${LEAN_OBJS} $<TARGET_OBJECTS:util>)
--- a/src/lean/runtime/CMakeLists.txt
+++ b/src/lean/runtime/CMakeLists.txt
--- a/src/lean/runtime/alloc.cpp
+++ b/src/lean/runtime/alloc.cpp
--- a/src/lean/runtime/allocprof.cpp
+++ b/src/lean/runtime/allocprof.cpp
--- a/src/lean/runtime/apply.cpp
+++ b/src/lean/runtime/apply.cpp
--- a/src/lean/runtime/compact.cpp
+++ b/src/lean/runtime/compact.cpp
--- a/src/lean/runtime/debug.cpp
+++ b/src/lean/runtime/debug.cpp
--- a/src/lean/runtime/exception.cpp
+++ b/src/lean/runtime/exception.cpp
--- a/src/lean/runtime/hash.cpp
+++ b/src/lean/runtime/hash.cpp
--- a/src/lean/runtime/init_module.cpp
+++ b/src/lean/runtime/init_module.cpp
--- a/src/lean/runtime/interrupt.cpp
+++ b/src/lean/runtime/interrupt.cpp
--- a/src/lean/runtime/io.cpp
+++ b/src/lean/runtime/io.cpp
--- a/src/lean/runtime/memory.cpp
+++ b/src/lean/runtime/memory.cpp
--- a/src/lean/runtime/mpq.cpp
+++ b/src/lean/runtime/mpq.cpp
--- a/src/lean/runtime/mpz.cpp
+++ b/src/lean/runtime/mpz.cpp
--- a/src/lean/runtime/object.cpp
+++ b/src/lean/runtime/object.cpp
--- a/src/lean/runtime/platform.cpp
+++ b/src/lean/runtime/platform.cpp
--- a/src/lean/runtime/serializer.cpp
+++ b/src/lean/runtime/serializer.cpp
--- a/src/lean/runtime/sharecommon.cpp
+++ b/src/lean/runtime/sharecommon.cpp
--- a/src/lean/runtime/stack_overflow.cpp
+++ b/src/lean/runtime/stack_overflow.cpp
--- a/src/lean/runtime/stackinfo.cpp
+++ b/src/lean/runtime/stackinfo.cpp
--- a/src/lean/runtime/thread.cpp
+++ b/src/lean/runtime/thread.cpp
--- a/src/lean/runtime/utf8.cpp
+++ b/src/lean/runtime/utf8.cpp