Improved comments. 😏
This commit is contained in:
parent
4b5dd21cd6
commit
fd78c655f8
11
build.zsh.in
11
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'
|
||||
|
Loading…
Reference in New Issue
Block a user