DESTDIR variable

[email protected]
Newsgroups gmane.comp.sysutils.dejagnu.bugs
Message-ID <[email protected]>
Hello. 

I want to say about an installation problem in DejaGnu. If I do
  ./configure --prefix=/usr/devel --includedir=/usr/devel/include \
        _some other options of this type_
  make
  make DESTDIR=/my/home/dir/dejagnu install
I get an error message "mkdir: /usr/devel/include: permission denied".
As I see, the problem is in Makefile, and I can't use DESTDIR variable if I 
change initial path for include directory. 

But if I do
  ./configure --prefix=/usr --includedir=/usr/include \
        _some other options of this type_
  make
  make DESTDIR=/my/home/dir/dejagnu install
everything will be allright. 

Please, consider this issue. 

Yours faithfully,
                 Maxim, Moscow
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.