From 813d9aa05c4587695761f60efefd5bd3e84ff5a7 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 14 Apr 2021 16:31:46 +0100
Subject: [PATCH] Makefile: Add more tests to full-check

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 88d145dd..653f4000 100644
--- 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,.)
-- 
2.30.2