diff options
Diffstat (limited to 'rust')
| -rw-r--r-- | rust/Makefile | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/rust/Makefile b/rust/Makefile index 4a894f2..7efb89c 100644 --- a/rust/Makefile +++ b/rust/Makefile @@ -1,7 +1,16 @@ -all: +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 -.PHONY: all clean +.PHONY: all clean debug release libpintos.a |