aboutsummaryrefslogtreecommitdiffstats
path: root/libpintos-rs/Cargo.toml
diff options
context:
space:
mode:
authorGustav Sörnäs <gustav@sornas.net>2020-11-24 15:08:20 +0100
committerGustav Sörnäs <gustav@sornas.net>2020-11-24 15:08:20 +0100
commiteba74d74502641a4565dc6011db33742e8450680 (patch)
treef7785882d1084944b309bd777d4663112823070a /libpintos-rs/Cargo.toml
parent0960f519d9e1e3c108b1825a0ec241b1c56c5cca (diff)
downloadpintos-rs-eba74d74502641a4565dc6011db33742e8450680.tar.gz
move rust "libc" to separate crate and link with that instead
Diffstat (limited to 'libpintos-rs/Cargo.toml')
-rw-r--r--libpintos-rs/Cargo.toml16
1 files changed, 16 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"]