== Quote from Anders F Björklund ([email protected])'s article > Iain Buclaw wrote: > >> PS. The "homepage" is still confused about > >> how to use prefix and DESTDIR, it seems ? > >> It should use --prefix=/opt/gdc, rather > >> than --prefix=/usr/local and DESTDIR=/opt > > > > I agree, DESTDIR rather archaic, and is only most useful if you are > > packaging software. > > But at the same time my natural unix instinct tells me to act alarmed at > > the sight of suggesting --prefix=/opt/gdc. ;) > So your instinct is fine with /opt/usr/local, but alarmed at /opt/gdc ?
Oh, I didn't write the installation guide, so I'm not exactly fine with either techniques. I've just haven't updated/removed it because people would arguably complain that they can't easily remove gdc having installed it in /usr/local. I install gdc in ~/bin, because it's easier for me to handle (there is never any need to elevate to root privileges), and there are hooks in bashrc which auto-magically add it to my PATH.
