move proxy -- rust version -- to the dirctory proxy

- ignore C version and build only Rust-based proxy

CMakeLists.txt

@@ -133,7 +133,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(proxy ${HERMIT_ROOT}/proxy "")
 build_external(arch_x86_loader ${HERMIT_ROOT}/arch/x86/loader "")
 
 ## Intel's OpenMP runtime for x86 (libomp)

proxy/.gitignore

@@ -0,0 +1,2 @@
+Cargo.lock
+target/

proxy/CMakeLists.txt

@@ -13,7 +13,7 @@ include(Rust)
 #    PACKAGE_VERSIONS =0.5.2 =0.2.22 =0.8 =0.0.10 =0.2.3 =0.4 =1 =0.3 =0.3)
 
 ExternalProject_Add(
-    hermit_proxy
+    proxy
     DOWNLOAD_COMMAND ""
     CONFIGURE_COMMAND ""
     BUILD_COMMAND cargo build
@@ -21,4 +21,4 @@ ExternalProject_Add(
     INSTALL_COMMAND ""
     LOG_BUILD ON)
 
-install(PROGRAMS target/debug/hermit_proxy DESTINATION bin)
+install(PROGRAMS target/debug/proxy DESTINATION bin)

proxy/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "hermit_proxy"
+name = "proxy"
 version = "0.0.1"
 authors = ["bytesnake <bytesnake@mailbox.org>"]
 

tools/CMakeLists.txt

@@ -15,7 +15,6 @@ install(TARGETS proxy
 install(FILES init.sh
 	DESTINATION tools)
 
-add_subdirectory(./hermit_proxy)
 # Show include files in IDE
 file(GLOB_RECURSE TOOLS_INCLUDES "*.h")
 add_custom_target(tools_includes_ide SOURCES ${TOOLS_INCLUDES})