From 921c8ace00ad57440467d495bdb19407a377193f Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 17 Mar 2022 15:14:53 +0000 Subject: Add Makefile in scripts directory --- scripts/Makefile | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 scripts/Makefile diff --git a/scripts/Makefile b/scripts/Makefile new file mode 100644 index 0000000..bf51ce7 --- /dev/null +++ b/scripts/Makefile @@ -0,0 +1,9 @@ +all: synthesis + +synthesis: synthesis-results.scm + chicken-csc -static -o $@ $< + +install: synthesis + install -s $< ~/.local/bin + +.PHONY: all install -- cgit