From 0580932cb0da7fac6b8aa5f5b98beb824a3fff50 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 22 Mar 2022 16:42:04 +0000
Subject: Fix Makefiles in build and for benchmarks

---
 scripts/Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'scripts/Makefile')

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
-- 
cgit