From e107a6ba5cafd9c87602d805e495d7475fb965d1 Mon Sep 17 00:00:00 2001 From: Arun Isaac Date: Mon, 11 May 2026 22:01:50 +0100 Subject: Add GUILD_FLAGS to Makefile. This can be used to pass in optimization flags such as -O0, that are useful when debugging. --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 53ba359..ce9ff50 100644 --- a/Makefile +++ b/Makefile @@ -28,6 +28,8 @@ GUILE_RUN64 = guile-run64 LZIP = lzip SED = sed +GUILD_FLAGS = + prefix ?= /usr/local bindir ?= $(prefix)/bin datarootdir ?= $(prefix)/share @@ -60,7 +62,7 @@ all: $(objects) $(config_file) $(SED) -e 's|@PROJECT@|$(project)|' -e 's|@PROJECT_TITLE@|$(project_title)|' -e 's|@VERSION@|$(version)|' $< > $@ %.go: %.scm $(config_file) - GUILE_AUTO_COMPILE=0 $(GUILD) compile -L . -o $@ $< + GUILE_AUTO_COMPILE=0 $(GUILD) compile $(GUILD_FLAGS) -L . -o $@ $< check: ./pre-inst-env $(GUILE_RUN64) $(tests) -- cgit 1.4.1