| Jeff Abrahamson on 4 Dec 2004 00:11:02 -0000 |
|
On Fri, Dec 03, 2004 at 12:00:07PM -0500, Stephen Gran wrote:
> The easiest solution here, as Sean has pointed out, is probably just
> to remove the Ubuntu version, and install the new one in /usr/local.
> Presumably the install script allows you to set DESTDIR, although I
> have not checked.
I've occasionally found it useful to install with
./configure --prefix=/usr/local/pkg-name/
make
make install
It dirties my PATH a bit, but it makes it easier to clean up when,
some day, the debian package catches up. Just put
/usr/local/pkg-name/bin before /usr/bin in your path.
--
Jeff
Jeff Abrahamson <http://www.purple.com/jeff/> +1 215/837-2287
GPG fingerprint: 1A1A BA95 D082 A558 A276 63C6 16BF 8C4C 0D1D AE4B
A cool book of games, highly worth checking out:
http://www.amazon.com/exec/obidos/ASIN/1931686963/purple-20
Attachment:
signature.asc
|
|