exterior mutability -> inherited mutability, another useful link, warn about transmute

[rust-101.git] / Makefile

diff --git a/Makefile b/Makefile
index 706b1db48ac643b063dae9ae241c6218d5c0390a..9264efcfd6c6ae30b61bea501ce2c3a059037060 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,11 +1,41 @@
 FILES=$(wildcard src/*.rs)
 FILES=$(wildcard src/*.rs)

+DOCFILES=$(addsuffix .html,$(addprefix docs/,$(notdir $(basename $(FILES)))))
+WORKSPACEFILES=$(addprefix workspace/,$(FILES))

 
 

-all: docs rawsrc
-.PHONY: docs rawsrc
+all: docs workspace crates
+.PHONY: docs workspace crates

 
 

-docs:
-       @./pycco-rs $(FILES)
+## Documentation
+docs: $(DOCFILES)

 
 

-rawsrc:
-       @mkdir -p rawsrc
-       @for file in $(FILES); do echo "$$file -> raw$$file"; egrep -v "^[[:space:]]*// " "$$file" > "raw""$$file"; done
+.tmp/docs/%.rs: src/%.rs Makefile dup-unimpl.sed
+       @mkdir -p .tmp/docs
+       @echo "$< -> $@"
+       @# 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
+# 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 "$< -> $@"
+       @# 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: $(WORKSPACEFILES)
+       @cargo build
+       @cd workspace && cargo build
+       @cd solutions && cargo build && cargo test