]> git.pld-linux.org Git - packages/ddd.git/blame - ddd-DESTDIR.patch
- added using %%{__make} macro.
[packages/ddd.git] / ddd-DESTDIR.patch
CommitLineData
b050c503 1--- ddd-3.2.1/ddd/Makefile.in Sat Feb 12 00:59:44 2000
2+++ ddd-3.2.1.orig/ddd/Makefile.in Mon May 29 18:15:19 2000
3@@ -26,6 +26,7 @@
4 # `http://www.gnu.org/software/ddd/',
5 # or send a mail to the DDD developers <ddd@gnu.org>.
6
7+DESTDIR =
8
9 ### CUSTOMIZATION SECTION --- Please check the settings below.
10 # Typical values are enclosed in ().
11@@ -34,21 +35,21 @@
12
13 # Common prefix for installation directories. (/usr/local)
14 # NOTE: This directory must exist when you start the install.
15-prefix = @prefix@
16-exec_prefix = @exec_prefix@
17+prefix = $(DESTDIR)/@prefix@
18+exec_prefix = $(DESTDIR)/@exec_prefix@
19
20 # Where to fetch the source from. (.)
21 srcdir = @srcdir@
22 VPATH = @srcdir@
23
24 # Where to put the binary. (${exec_prefix}/bin)
25-bindir = @bindir@
26+bindir = $(DESTDIR)/@bindir@
27
28 # Where to put the info file. (${prefix}/info)
29-infodir = @infodir@
30+infodir = $(DESTDIR)/@infodir@
31
32 # Where to put the manual page. (${prefix}/man)
33-mandir = @mandir@
34+mandir = $(DESTDIR)/@mandir@
35 man1dir = $(mandir)/man1
36 man1ext = .1
37
This page took 0.138333 seconds and 4 git commands to generate.