Makefile: Add more tests to full-check

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

diff --git a/Makefile b/Makefile
index 88d145dd5f2a56c789cb687873b813696e803ddc..653f40009c7e3ca18903c22b1fd4fb23c2bc683b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -137,9 +137,12 @@ WASM := wasm32-unknown-unknown
 
 #---------- toplevel aggregate targets ----------
 
-check: stamp/cargo.check at wdt
+check: stamp/cargo.debug-check at wdt
        @echo 'All tests passed.'
 
+full-check: stamp/cargo.release-check
+full-check: stamp/cargo.release-miri stamp/cargo.debug-miri
+
 doc: cargo-doc sphinx-doc
 
 debug release:: %: stamp/cargo.% assets libraries extra-%
@@ -187,8 +190,12 @@ stamp/cargo.wasm-bindgen: $(call rsrcs, ! -name \*.rs)
                --manifest-path=$(abspath wasm/Cargo.toml) -p wasm-bindgen-cli
        $(stamp)
 
-stamp/cargo.check: $(call rsrcs,.)
-       $(CARGO) test --workspace
+stamp/cargo.%-check: $(call rsrcs,.)
+       $(CARGO) test --workspace $(call cr,$*)
+       $(stamp)
+
+stamp/cargo.%-miri: $(call rsrcs,.)
+       $(CARGO) miri test --workspace $(call cr,$*)
        $(stamp)
 
 stamp/cargo-at.debug: $(call rsrcs,.)