From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 14 Apr 2021 15:31:46 +0000 (+0100)
Subject: Makefile: Add more tests to full-check
X-Git-Tag: otter-0.5.0~70
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=813d9aa05c4587695761f60efefd5bd3e84ff5a7;p=otter.git

Makefile: Add more tests to full-check

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

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,.)