diff options
Diffstat (limited to 'scripts/Makefile')
| -rw-r--r-- | scripts/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index 0b5ff33..3892723 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -1,9 +1,12 @@ PREFIX ?= .. -all: synthesis +all: synthesis-results %: %.scm - chicken-csc -static -o $@ $< + $(eval TMP := $(shell mktemp)) + echo "(main (command-line-arguments))" >$(TMP) + chicken-csc -static -epilogue $(TMP) -output-file $@ $< + rm $(TMP) %.1: %.org emacs --batch --file $< --load ../docs/res/publish.el --funcall org-man-export-to-man |