Makefile: cargo-syntaxcheck targets

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

diff --git a/Makefile b/Makefile
index 04990693ece6b026b02a1a5a067423595c2640ab..5780248a9867b4e8d151be334665f6465b8d88af 100644 (file)
--- 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