Clarified exercise 11.1.

[rust-101.git] / Makefile

diff --git a/Makefile b/Makefile
index c6c80eb1068eb9b0fa7a810db2a6779ef651c44b..c157dacd438510f9ca826f9cf0815e93f1b4b584 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -5,30 +5,41 @@ 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 pycco-rs 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: $(WORKSPACEFILES)
+## 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) docs/workspace.zip
 
 workspace/src/%.rs: src/%.rs Makefile dup-unimpl.sed
-       @mkdir -p .tmp/docs
+       @mkdir -p .tmp/docs workspace/src/
        @echo "$< -> $@"
-       @sed '/^\s*\/\/@/d;s|\(\s*\)\S.*/\*@\*/|\1unimplemented!()|' $< | sed -f dup-unimpl.sed > $@
+       @# sed-fu: remove lines starting with "//@", and replace those ending in "/*@*/" or "/*@@*/" 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
+docs/workspace.zip: $(WORKSPACEFILES) workspace/Cargo.toml workspace/Cargo.lock
+       @rm -f $@
+       zip $@ $^
+
+## Crates
 crates: $(WORKSPACEFILES)
        @cargo build
-       @cd solutions && cargo build
        @cd workspace && cargo build
+       @cd solutions && cargo build && cargo test