From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 15 Feb 2021 01:29:04 +0000 (+0000)
Subject: Makefile: cargo-syntaxcheck targets
X-Git-Tag: otter-0.4.0~439
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=ee7d6f092d88afe380b6dfc41a74c83e0e650259;p=otter.git

Makefile: cargo-syntaxcheck targets

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

diff --git a/Makefile b/Makefile
index 04990693..5780248a 100644
--- a/Makefile
+++ b/Makefile
@@ -154,6 +154,12 @@ js: templates/script.js
 extra-debug:
 extra-release: bundled-sources
 
+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 ----------
 
 DR=debug release