diff options
| -rw-r--r-- | config.mk | 30 |
1 files changed, 15 insertions, 15 deletions
@@ -4,22 +4,22 @@ # Note: In the default version of this file, commented out values indicate what # the GNU standards dictate, when our values differ. -DESTDIR= +DESTDIR ?= -#prefix=/usr/local -prefix=/usr -exec_prefix=$(prefix) -bindir=$(exec_prefix)/bin -#libexecdir=$(exec_prefix)/libexec -libexecdir=$(exec_prefix)/lib +#prefix ?= /usr/local +prefix ?= /usr +exec_prefix ?= $(prefix) +bindir ?= $(exec_prefix)/bin +#libexecdir ?= $(exec_prefix)/libexec +libexecdir ?= $(exec_prefix)/lib -datarootdir=$(prefix)/share -datadir=$(datarootdir) -#sysconfdir=$(prefix)/etc -sysconfdir=/etc +datarootdir ?= $(prefix)/share +datadir ?= $(datarootdir) +#sysconfdir ?= $(prefix)/etc +sysconfdir ?= /etc -docdir=$(datarootdir)/doc -mandir=$(datarootdir)/man +docdir ?= $(datarootdir)/doc +mandir ?= $(datarootdir)/man -devtoolsdir=$(topdir)/../devtools-par -RONNFLAGS=--manual='libretools Manual' --organization='Parabola' +devtoolsdir ?= $(topdir)/../devtools-par +RONNFLAGS ?= --manual='libretools Manual' --organization='Parabola' |