From a5b0f582f58ed6349164562fab5f0e3b44029e15 Mon Sep 17 00:00:00 2001
From: Thomas Lambertz <mail@thomaslambertz.de>
Date: Tue, 7 Jul 2020 00:14:07 +0200
Subject: [PATCH] Let rust examples use the published crate

---
 examples/hermitrust/Cargo.toml | 8 +++++---
 examples/rust/Cargo.toml       | 7 +++++--
 2 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/examples/hermitrust/Cargo.toml b/examples/hermitrust/Cargo.toml
index eb4e6a6..1404b04 100755
--- a/examples/hermitrust/Cargo.toml
+++ b/examples/hermitrust/Cargo.toml
@@ -8,13 +8,15 @@ edition = "2018"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-rftrace = {path="../../rftrace", features=["buildcore","autokernel"]}
-rftrace-frontend = {path="../../rftrace-frontend"}
+#rftrace = {path="../../rftrace", features=["buildcore","autokernel"]}
+rftrace = {version="0.1.0", features=["buildcore","autokernel"]}
+#rftrace-frontend = {path="../../rftrace-frontend"}
+rftrace-frontend = "0.1.0"
 
 
 [target.'cfg(target_os = "hermit")'.dependencies]
 #hermit-sys = {version="0.1.*", features=["instrument"]}
-hermit-sys = {git="https://github.com/tlambertz/rusty-hermit", branch="instrument-tmp", features=["instrument"]}
+hermit-sys = {git="https://github.com/tlambertz/rusty-hermit", branch="instrument-pull", features=["instrument"]}
 
 [profile.release]
 opt-level = 3
diff --git a/examples/rust/Cargo.toml b/examples/rust/Cargo.toml
index 2f7b2ec..446bed7 100755
--- a/examples/rust/Cargo.toml
+++ b/examples/rust/Cargo.toml
@@ -8,5 +8,8 @@ edition = "2018"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-rftrace = {path="../../rftrace"}
-rftrace-frontend = {path="../../rftrace-frontend"}
+#rftrace = {path="../../rftrace"}
+rftrace = "0.1.0"
+
+#rftrace-frontend = {path="../../rftrace-frontend"}
+rftrace-frontend = "0.1.0"