diff options
Diffstat (limited to 'scripts/Makefile')
| -rw-r--r-- | scripts/Makefile | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index bf51ce7..e31a6fd 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -1,9 +1,18 @@ +PREFIX ?= .. + all: synthesis -synthesis: synthesis-results.scm +%: %.scm chicken-csc -static -o $@ $< -install: synthesis - install -s $< ~/.local/bin +%.1: %.org + emacs --batch --file $< --load ../docs/res/publish.el --funcall org-man-export-to-man + cp $(<:.org=.man) $@ + +install: synthesis-results synthesis-results.1 + install -d $(PREFIX)/bin + install -C synthesis-results $(PREFIX)/bin + install -d $(PREFIX)/share/man/man1 + install -C synthesis-results.1 $(PREFIX)/share/man/man1 .PHONY: all install |