diff options
| author | Arun Isaac | 2026-05-11 22:01:50 +0100 |
|---|---|---|
| committer | Arun Isaac | 2026-05-17 23:10:17 +0100 |
| commit | e107a6ba5cafd9c87602d805e495d7475fb965d1 (patch) | |
| tree | 8f2cbf222b72478a236ec377f9be1e932fcb5ba4 | |
| parent | eb48d3f2dbd512719251406d88b3de821eb3fe17 (diff) | |
| download | kaagum-e107a6ba5cafd9c87602d805e495d7475fb965d1.tar.gz kaagum-e107a6ba5cafd9c87602d805e495d7475fb965d1.tar.lz kaagum-e107a6ba5cafd9c87602d805e495d7475fb965d1.zip | |
Add GUILD_FLAGS to Makefile.
This can be used to pass in optimization flags such as -O0, that are useful when debugging.
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
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) |