diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 15:08:20 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 15:08:20 +0100 |
| commit | eba74d74502641a4565dc6011db33742e8450680 (patch) | |
| tree | f7785882d1084944b309bd777d4663112823070a /libpintos-rs/build.rs | |
| parent | 0960f519d9e1e3c108b1825a0ec241b1c56c5cca (diff) | |
| download | pintos-rs-eba74d74502641a4565dc6011db33742e8450680.tar.gz | |
move rust "libc" to separate crate and link with that instead
Diffstat (limited to 'libpintos-rs/build.rs')
| -rw-r--r-- | libpintos-rs/build.rs | 4 |
1 files changed, 4 insertions, 0 deletions
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"); +} |