summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2018-04-02 22:37:43 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2018-04-02 22:37:43 +0200
commit18c12b7a38f32b8f5d0bbf291268f79041bc89c0 (patch)
treea54f1c66aea7b9091354059e1474d4297877f356
parent82ab5bbac5d115b7cae4f3ca28f3ba8cce9431ba (diff)
Support $(DESTDIR)
as reported by Sergei Trofimovich * config.make.in (hurddir, libdir, bindir, sbindir, includedir, libexecdir, bootdir, infodir, sysconfdir, localstatedir, sharedstatedir, datadir, datarootdir): Prepend $(DESTDIR).
-rw-r--r--config.make.in26
1 files changed, 13 insertions, 13 deletions
diff --git a/config.make.in b/config.make.in
index 7b62e851..cdd812e0 100644
--- a/config.make.in
+++ b/config.make.in
@@ -20,19 +20,19 @@ prefix = @prefix@
exec_prefix = @exec_prefix@
# Directories where things get installed.
-hurddir = ${exec_prefix}/hurd
-libdir = @libdir@
-bindir = @bindir@
-sbindir = @sbindir@
-includedir = @includedir@
-libexecdir = @libexecdir@
-bootdir = ${exec_prefix}/boot
-infodir = @infodir@
-sysconfdir = @sysconfdir@
-localstatedir = @localstatedir@
-sharedstatedir = @sharedstatedir@
-datadir = @datadir@
-datarootdir = @datarootdir@
+hurddir = $(DESTDIR)${exec_prefix}/hurd
+libdir = $(DESTDIR)@libdir@
+bindir = $(DESTDIR)@bindir@
+sbindir = $(DESTDIR)@sbindir@
+includedir = $(DESTDIR)@includedir@
+libexecdir = $(DESTDIR)@libexecdir@
+bootdir = $(DESTDIR)${exec_prefix}/boot
+infodir = $(DESTDIR)@infodir@
+sysconfdir = $(DESTDIR)@sysconfdir@
+localstatedir = $(DESTDIR)@localstatedir@
+sharedstatedir = $(DESTDIR)@sharedstatedir@
+datadir = $(DESTDIR)@datadir@
+datarootdir = $(DESTDIR)@datarootdir@
# All of those directories together:
installationdirlist = $(hurddir) $(libdir) $(bindir) $(sbindir) \