From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 24 Mar 2021 19:09:39 +0000 (+0000)
Subject: Makefile: Provide more check targets
X-Git-Tag: otter-0.5.0~445
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=fb8f3c7d86584d8b4fc5436a350ceb641d3dc174;p=otter.git

Makefile: Provide more check targets

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/Makefile b/Makefile
index bdb51328..991e145a 100644
--- a/Makefile
+++ b/Makefile
@@ -12,6 +12,7 @@ src=.
 
 default: all check
 all: debug
+full-check: all check cargo-syntaxcheck-release
 everything: debug doc release check bundled-sources
 
 shapelib: templates/shapelib.html stamp/cargo.doc-otter-only
@@ -162,7 +163,9 @@ cargo-syntaxcheck: cargo-syntaxcheck-host cargo-syntaxcheck-wasm
 cargo-syntaxcheck-host:
 	$(CARGO) check --workspace
 cargo-syntaxcheck-wasm:
-	$(CARGO) check --target $(WASM) -p otter-wasm
+	$(CARGO) check --target $(WASM) -p otter-wasm --release
+cargo-syntaxcheck-release:
+	$(CARGO) check --workspace --release
 
 #---------- cargo ----------