[gtkada] DESTDIR blocked, patch provided

John Marino adacore at marino.st
Mon Jul 1 14:06:05 CEST 2013


Thank you very much for officially supporting DESTDIR in gtkada.
Unfortunately, it's been (accidentally?) blocked from working.

DESTDIR has been hardcoded to an empty string, so any definition in the 
environment is blocked.  The only place it currently works is with the 
user guide documentation.

Apply the provided patch to enable DESTDIR to work as I believe it was 
intended.  There's no reason to define it as an empty string because 
that's the default value in the event it is undefined.

files affected: src/Makefile.common.in docs/gtkada_rm/Makefile.in

Regards,
John
-------------- next part --------------
--- src/Makefile.common.in.orig	2013-07-01 09:42:47.000000000 +0000
+++ src/Makefile.common.in
@@ -43,7 +43,6 @@ RANLIB = @RANLIB@
 # DESTDIR may be set to the path to a staging directory to install files in
 # when building packages. If DESTDIR is empty, files will be installed directly
 # in their final locations.
-DESTDIR =
 
 prefix        = @prefix@
 exec_prefix   = @exec_prefix@
--- docs/gtkada_rm/Makefile.in.orig	2013-07-01 09:42:48.000000000 +0000
+++ docs/gtkada_rm/Makefile.in
@@ -5,7 +5,6 @@ MKDIR = mkdir -p
 CP=cp -p
 INSTALL = @INSTALL@
 INSTALL_DATA = @INSTALL_DATA@
-DESTDIR =
 
 SRC=../../src/*.ads ../../src/opengl/*.ads ../../src/glade/*.ads
 SUBDIRS=gtkada_rm gtkada_rm/screenshots gtkada_rm/support gtkada_rm/support/images


More information about the gtkada mailing list