X-Git-Url: https://git.ralfj.de/rust-101.git/blobdiff_plain/29ed03832973473f6e38d6d8af2db0329209bab4..1f6a5ed7a44ed00827fd3312503f20b8f52f94db:/Makefile

diff --git a/Makefile b/Makefile
index 2e7758b..9264efc 100644
--- a/Makefile
+++ b/Makefile
@@ -5,32 +5,37 @@ WORKSPACEFILES=$(addprefix workspace/,$(FILES))
 all: docs workspace crates
 .PHONY: docs workspace crates
 
-# Documentation
+## Documentation
 docs: $(DOCFILES)
 
-.tmp/docs/%.rs: src/%.rs Makefile
+.tmp/docs/%.rs: src/%.rs Makefile dup-unimpl.sed
 	@mkdir -p .tmp/docs
 	@echo "$< -> $@"
-	@sed 's|^\(\s*//\)@|\1|;s|\s*/\*@\*/||' $< > $@
+	@# sed-fu: remove the "@" from "//@", and remove trailing "/*@*/", replace lines ending in  "/*@@*/" by "unimplemented!()".
+	@# Also coalesce multiple adjacent such lines to one.
+	@sed 's|^\(\s*//\)@|\1|;s|\s*/\*@\*/$$||;s|\(\s*\)\S.*/\*@@\*/|\1unimplemented!()|' $< | sed -f dup-unimpl.sed > $@
 
 docs/%.html: .tmp/docs/%.rs
 	@./pycco-rs $<
 
-# Workspace
+## Workspace
+# The generated files are shipped only for the benefit of Windows users, who
+# typically don't have the necessary tools for generating the workspace
+# available.
 workspace: $(WORKSPACEFILES)
 
 workspace/src/%.rs: src/%.rs Makefile dup-unimpl.sed
 	@mkdir -p .tmp/docs
 	@echo "$< -> $@"
-	@echo "// ***Remember to enable/add this part in \`main.rs\`!***" > $@
-	@echo >> $@
-	@sed '/^\s*\/\/@/d;s|\(\s*\)\S.*/\*@\*/|\1unimplemented!()|' $< | sed -f dup-unimpl.sed >> $@
+	@# sed-fu: remove lines starting with "//@", and replace those ending in "/*@*/" by "unimplemented!()".
+	@# Also coalesce multiple adjacent such lines to one.
+	@sed '/^\s*\/\/@/d;s|\(\s*\)\S.*/\*@@\?\*/|\1unimplemented!()|' $< | sed -f dup-unimpl.sed > $@
 
 workspace/src/main.rs:
 	# Don't touch this file
 
-# Crates
-crates:
+## Crates
+crates: $(WORKSPACEFILES)
 	@cargo build
-	@cd solutions && cargo build
 	@cd workspace && cargo build
+	@cd solutions && cargo build && cargo test