diff options
Diffstat (limited to 'config.mk')
| -rw-r--r-- | config.mk | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/config.mk b/config.mk new file mode 100644 index 0000000..548d4d3 --- /dev/null +++ b/config.mk @@ -0,0 +1,25 @@ +# Configuration +# Note: $(topdir) is set to the directory containing this file. + +# Note: In the default version of this file, commented out values indicate what +# the GNU standards dictate, when our values differ. + +DESTDIR= + +#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 + +docdir=$(datarootdir)/doc +mandir=$(datarootdir)/man + +devtoolsdir=$(topdir)/../devtools-par +RONNFLAGS=--manual='libretools Manual' --organization='Parabola' |