diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 21 |
1 files changed, 12 insertions, 9 deletions
@@ -2,24 +2,27 @@ MAKEFLAGS += -j1 # Default target all: out/index.html -.PHONY: all +phony += all -# For real files, just let the ./make script take care of it. -$(sort out/index.html $(MAKECMDGOALS)): FORCE - ./make +# Boilerplate +phony += FORCE +.DELETE_ON_ERROR: +.SECONDARY: # Development server serve: serve-8000 serve-%: all dir=$$(mktemp -d -t) && trap 'fusermount -u "$$dir"; rmdir "$$dir"' EXIT && unionfs -o ro out:src "$$dir" && (cd "$$dir" && python3 -m http.server $*) -.PHONY: serve serve-% +phony += serve serve-% # Clean clean: rm -rf out -.PHONY: clean +phony += clean + +# For real files, just let the ./make script take care of it. +$(sort out/index.html $(filter-out $(phony),$(MAKECMDGOALS))): FORCE + ./make # Boilerplate -.PHONY: FORCE -.DELETE_ON_ERROR: -.SECONDARY: +.PHONY: $(phony) |