1 FILES=$(wildcard src/*.rs)
2 DOCFILES=$(addsuffix .html,$(addprefix docs/,$(notdir $(basename $(FILES)))))
3 WORKSPACEFILES=$(addprefix workspace/,$(FILES))
5 all: docs workspace crates
6 .PHONY: docs workspace crates
11 .tmp/docs/%.rs: src/%.rs Makefile
14 @sed 's|^\(\s*//\)@|\1|;s|\s*/\*@\*/||' $< > $@
16 docs/%.html: .tmp/docs/%.rs
20 workspace: $(WORKSPACEFILES)
22 workspace/src/%.rs: src/%.rs Makefile dup-unimpl.sed
25 @sed '/^\s*\/\/@/d;s|\(\s*\)[^\s].*/\*@\*/|\1unimplemented!()|' $< | sed -f dup-unimpl.sed > $@
27 workspace/src/main.rs:
28 # Don't touch this file
33 @cd solutions && cargo build