Обсуждение: Re: autoconf make install

[Moved on-list]

> -----Original Message-----
> From: Andreas Pflug [mailto:Andreas.Pflug@web.de]
> Sent: 13 May 2003 15:40
> To: Adam H. Pendleton
> Cc: Dave Page
> Subject: autoconf make install
>
>
> Hi Adam,
>
> there's still one thing not implemented in autoconf so far:
> there should
> also be an "install" target in the Makefile.
>
> What needs to be copied is
> $INSTALLDIR/pgAdmin3
> $INSTALLDIR/ui/common/*.xrc
> $INSTALLDIR/ui/gtk/*.xrc (empty so far, will stay empty hopefully)
>
> For safety reasons, ui/common and ui/gtk should be cleaned before
> copying freshly, because older files could exist in the wrong
> directory.
>
> /usr/X11R6/bin seems to be the correct default INSTALLDIR. Maybe we
> should use $INSTALLDIR/pgadmin.ui instead of $INSTALLDIR/ui,
> to give a
> hint what this directory is good for. Comments?

Hi Andreas/Adam,

I think /usr/local/pgadmin3 is the right place. /usr/X11R6/bin should be
for components of X11R6 that came with the OS, whereas /usr/local/ is
specifically for additional programs installed by the local admin. If it
ever gets popular enough to ship with 'pgLinux' for example :-) then
/usr/pgadmin3 would seem sensible.

Regards, Dave.

Dave Page wrote:

>I think /usr/local/pgadmin3 is the right place. /usr/X11R6/bin should be
>for components of X11R6 that came with the OS, whereas /usr/local/ is
>specifically for additional programs installed by the local admin. If it
>ever gets popular enough to ship with 'pgLinux' for example :-) then
>/usr/pgadmin3 would seem sensible.
>
Should we really invent a new directory, requiring changes to PATH? Why
not using /usr/local/bin? In this case, we shouldn't use
/usr/local/bin/ui/*, but something distinctive as
/usr/local/bin/pgadmin.ui/*.

Regards,
Andreas