From eba74d74502641a4565dc6011db33742e8450680 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= Date: Tue, 24 Nov 2020 15:08:20 +0100 Subject: move rust "libc" to separate crate and link with that instead --- rust/Makefile | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 rust/Makefile (limited to 'rust/Makefile') 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 -- cgit v1.2.1