From 20af3650803339c405875e522c21f679a3af4ed6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Autin?=
 <francois.autin@etudiant.univ-rennes1.fr>
Date: Wed, 10 May 2023 11:19:08 +0200
Subject: [PATCH] Updated makefile to add demos

---
 Makefile | 26 +++++++++++++++++++++++++-
 1 file changed, 25 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 7879073..7dd525d 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,13 @@
 TOPDIR=.
 include $(TOPDIR)/Makefile.config
 
+#
+# Demo vars
+#
+FLAGS=--offline -r --
+CARGO=RUSTFLAGS=-Awarnings cargo run ${FLAGS}
+
+
 
 all: dumps user_lib instruction_tests syscall
 # 
@@ -28,4 +35,21 @@ clean:
 	$(MAKE) clean -C userlib/
 	$(MAKE) clean -C test/
 	$(RM) -rf $(TOPDIR)/target
-	
\ No newline at end of file
+
+#
+# Demo targets
+#
+halt: syscall
+	${CARGO} -x ./target/guac/halt.guac -d2
+
+pc: syscall
+	${CARGO} -x ./target/guac/producteur_consommateur.guac -d2
+
+matmult: syscall
+	${CARGO} -x ./target/guac/matmult.guac -d2
+
+lr: syscall
+	${CARGO} -x ./target/guac/lecteur_redacteur.guac -d2
+
+prints: syscall
+	${CARGO} -x ./target/guac/prints.guac -d2