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'