move proxy and hypervisor to a new submodule

hermit-os · Jul 8, 2018 · d62fb9f · d62fb9f
1 parent 69ed9f5
commit d62fb9f
Show file tree

Hide file tree

Showing 24 changed files with 8 additions and 7,567 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -6,3 +6,6 @@
 	path = usr/libomp
 	url = https://github.com/hermitcore/libomp_oss.git
 	branch = hermit
+[submodule "caves"]
+	path = caves
+	url = https://github.com/hermitcore/hermit-caves.git
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -127,6 +127,9 @@ install(DIRECTORY include/hermit
 	FILES_MATCHING
 		PATTERN *.h)
 
+install(FILES tools/init.sh
+        DESTINATION tools)
+
 # provide custom target to only install libhermit without its runtimes which is
 # needed during the compilation of the cross toolchain
 add_custom_target(hermit-bootstrap-install
@@ -150,7 +153,7 @@ add_custom_target(hermit
 # be relocated for installation
 
 ## HermitCore's own tools such as Qemu/KVM proxy
-build_external(tools ${HERMIT_ROOT}/tools "")
+build_external(caves ${HERMIT_ROOT}/caves "")
 
 if("${TARGET_ARCH}" STREQUAL "x86_64-hermit")
 

diff --git a/caves b/caves
diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt