From fd78c655f80ff7e9bcb8d0b55b7e1ceaa4fd3965 Mon Sep 17 00:00:00 2001 From: Luka Vandervelden Date: Tue, 26 Nov 2019 19:17:30 +0100 Subject: [PATCH] =?UTF-8?q?Improved=20comments.=20=F0=9F=98=8F?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- build.zsh.in | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/build.zsh.in b/build.zsh.in index b73832d..2f42420 100644 --- a/build.zsh.in +++ b/build.zsh.in @@ -187,15 +187,18 @@ done ## function main { + # “Global”, per-project configuration. typeset -a prefixes directories - # FIXME: We may want those to be defined somewhere else. - typeset -A ldflags cflags crflags - + # “Local”, per-target configuration. typeset -A sources type depends install auto filename nodist - typeset -A chmod + # Per-target configuration that is specific to certain target types. + # FIXME: Those should be removed from this file and exported in + # the .prelude of their backend, or similar. + typeset -A ldflags cflags crflags + prefixes=( PREFIX '/usr/local' BINDIR '$(PREFIX)/bin'