1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index b4fe83e..98bc3fa 100644
--- a/Makefile
+++ b/Makefile
@@ -15,7 +15,7 @@ TAMARIN_HOST		?= proof.wireguard.io
 
 logfile = log
 
-default: local
+default: auto
 
 .PHONY: check-ports check-file remote local
 
@@ -48,3 +48,6 @@ remote: check-ports $(TAMARIN_PROTO).spthy
 local: $(TAMARIN_PROTO).spthy
 	(sleep 1 && $(TAMARIN_BROWSER) http://localhost:3001/thy/trace/1/overview/help) &
 	$(TAMARIN_BIN) interactive . --interface='*4' --port=3001 $(TAMARIN_ARGS)
+
+auto: $(TAMARIN_PROTO).spthy
+	$(TAMARIN_BIN) --prove $(TAMARIN_ARGS) $<