#46 make install doesn't respect DESTDIR

closed-fixed
None
5
2008-08-01
2008-03-22
No

When trying to "make install DESTDIR=/path/to/destdir" without root permissions installation fails with error messages like this:

install: cannot create regular file `/usr/man/man1/gretl.1': Permission denied
/usr/bin/ginstall: cannot remove `/usr/lib/pkgconfig/gretl.pc': Permission denied
cp: cannot remove `/usr/share/gretl/data/data9-9.gdt': Permission denied
make[1]: *** [install_datafiles] Error 1
make[1]: Leaving directory `/home/george/zenwalk/gretl/gretl-1.7.4/share'
make: *** [install] Error 2

OS is Linux, gretl 1.7.4.

Discussion

  • Allin Cottrell

    Allin Cottrell - 2008-03-22

    Logged In: YES
    user_id=330339
    Originator: NO

    This isn't a bug as such; gretl does not claim to support DESTDIR, and
    the GNU coding standard says, "we strongly recommend GNU packages support
    DESTDIR, though it is not an absolute requirement". You can install
    gretl into a personal directory tree using

    ./configure --prefix=/where/you/want

    although I realize this does not do the same thing that the DESTDIR
    mechanism does.

    Please submit this as a feature request.

     
  • Allin Cottrell

    Allin Cottrell - 2008-03-22
    • assigned_to: nobody --> allin
    • status: open --> closed
     
  • Allin Cottrell

    Allin Cottrell - 2008-03-22

    Logged In: YES
    user_id=330339
    Originator: NO

    Actually, don't bother with a feature request. This was very easy
    to do, and DESTDIR is now supported in CVS.

     
  • Allin Cottrell

    Allin Cottrell - 2008-03-22
    • status: closed --> closed-fixed
     
  • George Vlahavas

    George Vlahavas - 2008-07-29
    • status: closed-fixed --> open-fixed
     
  • George Vlahavas

    George Vlahavas - 2008-07-29

    Logged In: YES
    user_id=2042930
    Originator: YES

    There are two lines that still don't use DESTDIR in 1.7.5. I'm attaching a patch.
    File Added: gretl-makefile-1.7.5.patch

     
  • Allin Cottrell

    Allin Cottrell - 2008-07-29

    Logged In: YES
    user_id=330339
    Originator: NO

    Thanks, patch applied in CVS.

     
  • Sven S.

    Sven S. - 2008-08-01
    • status: open-fixed --> closed-fixed
     
  • Sven S.

    Sven S. - 2008-08-01

    Logged In: YES
    user_id=1330711
    Originator: NO

    AFAICT, this bug is fixed now, right? So I'm closing this. If it's still an issue, please tell me and I will reopen it.

    thanks,
    sven

     

Log in to post a comment.