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 /rust/Makefile | |
| parent | 0960f519d9e1e3c108b1825a0ec241b1c56c5cca (diff) | |
| download | pintos-rs-eba74d74502641a4565dc6011db33742e8450680.tar.gz | |
move rust "libc" to separate crate and link with that instead
Diffstat (limited to 'rust/Makefile')
| -rw-r--r-- | rust/Makefile | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/rust/Makefile b/rust/Makefile deleted file mode 100644 index 39cae70..0000000 --- a/rust/Makefile +++ /dev/null @@ -1,17 +0,0 @@ -all: debug - -debug: libpintos.a - cargo rustc -- -C link-arg= -L. - -release: libpintos.a - cargo rustc --release -- -C link-arg= -L. - -libpintos.a: - make -C ../src/examples libc.a - cp ../src/examples/libc.a libpintos.a - -clean: - cargo clean - rm -f libpintos.a - -.PHONY: all clean debug release libpintos.a |