From e8e3f9b3dec1e5e8a6ed6c59cfa661df2252f3db Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 23 Aug 2015 13:20:21 +0200 Subject: [PATCH] tune Makefile for less pointless rebuilding --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 8d8b5e4..a213c07 100644 --- a/Makefile +++ b/Makefile @@ -8,14 +8,14 @@ all: docs workspace crates ## Documentation docs: $(DOCFILES) -.tmp/docs/%.rs: src/%.rs Makefile dup-unimpl.sed +.tmp/docs/%.rs: src/%.rs Makefile pycco-rs 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: pycco-rs .tmp/docs/%.rs +docs/%.html: .tmp/docs/%.rs @./pycco-rs $< ## Workspace -- 2.30.2