blob: 7486789e0e7a3524643c388ebe33b5db65504375 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
[package]
name = "pintos-rs"
version = "0.1.0"
authors = ["Gustav Sörnäs <gustav@sornas.net>"]
edition = "2018"
[lib]
name = "haltrs"
crate-type = ["staticlib"]
[profile.dev]
panic = "abort"
[profile.release]
panic = "abort"
[dependencies.libc]
version = "0.2"
default-features = false
features = ["extra_traits"]
[dependencies.libpintos]
path = "../libpintos-rs"
|
