move rust "libc" to separate crate and link with that instead

4 files changed, 27 insertions, 0 deletions

diff --git a/libpintos-rs/Cargo.toml b/libpintos-rs/Cargo.toml
new file mode 100644
index 0000000..e9293ad
--- /dev/null
+++ b/libpintos-rs/Cargo.toml
@@ -0,0 +1,16 @@
+[package]
+name = "libpintos"
+version = "0.1.0"
+authors = ["Gustav Sörnäs <gustav@sornas.net>"]
+edition = "2018"
+
+[profile.dev]
+panic = "abort"
+
+[profile.release]
+panic = "abort"
+
+[dependencies.libc]
+version = "0.2"
+default-features = false
+features = ["extra_traits"]
diff --git a/libpintos-rs/build.rs b/libpintos-rs/build.rs
new file mode 100644
index 0000000..8b9cdb4
--- /dev/null
+++ b/libpintos-rs/build.rs
@@ -0,0 +1,4 @@
+fn main() {
+    println!("cargo:rustc-link-search=native=.");
+    println!("cargo:rustc-link-lib=static=pintos");
+}
diff --git a/libpintos-rs/rust-toolchain b/libpintos-rs/rust-toolchain
new file mode 100644
index 0000000..adfa491
--- /dev/null
+++ b/libpintos-rs/rust-toolchain
@@ -0,0 +1 @@
+nightly-i686-unknown-linux-gnu
diff --git a/libpintos-rs/src/lib.rs b/libpintos-rs/src/lib.rs
new file mode 100644
index 0000000..2ad4657
--- /dev/null
+++ b/libpintos-rs/src/lib.rs
@@ -0,0 +1,6 @@
+#![no_std]
+
+#[link(name="pintos", kind="static")]
+extern {
+    pub fn exit(status: i32);
+}