From c57b3079ef115ebf3a5fa25acdae043b31948ef3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Tue, 24 Nov 2020 00:41:57 +0100
Subject: add rust release target, compile and copy libpintos

---
 rust/Makefile | 13 +++++++++++--
 1 file 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
-- 
cgit v1.2.1