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