diff options
| author |   Jason A. Donenfeld <Jason@zx2c4.com> | 2017-07-14 13:22:43 +0200 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2017-07-14 13:22:43 +0200 |
| commit | eda9436db56a273e7d2b40cc936d7a2cae882aaf (patch) | |
| tree | d255a97a1fb8861f0607d72413f4f60ac40f2b9a | |
| parent | Removed unnecessary restrictions (diff) | |
| download | wireguard-tamarin-eda9436db56a273e7d2b40cc936d7a2cae882aaf.tar.xz wireguard-tamarin-eda9436db56a273e7d2b40cc936d7a2cae882aaf.zip | |
Add auto proving mode as default makefile target
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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) $< |