From eda9436db56a273e7d2b40cc936d7a2cae882aaf Mon Sep 17 00:00:00 2001
From: "Jason A. Donenfeld" <Jason@zx2c4.com>
Date: Fri, 14 Jul 2017 13:22:43 +0200
Subject: Add auto proving mode as default makefile target

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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) $<
-- 
cgit v1.2.3-59-g8ed1b