[Freeciv-Dev] Re: (PR#8802) ser isn't created from ser.in

["Raimar Falke" <i-freeciv-lists@xxxxxxxxxxxxx>]

<URL: http://rt.freeciv.org/Ticket/Display.html?id=8802 >

On Sat, May 22, 2004 at 02:48:20AM -0700, Jason Short wrote:
> 
> <URL: http://rt.freeciv.org/Ticket/Display.html?id=8802 >
> 
> Raimar Falke wrote:
> > <URL: http://rt.freeciv.org/Ticket/Display.html?id=8802 >
> > 
> > On Sat, May 22, 2004 at 12:42:44AM -0700, Jason Short wrote:
> > 
> >><URL: http://rt.freeciv.org/Ticket/Display.html?id=8802 >
> >>
> >>Raimar Falke wrote:
> >>
> >>
> >>>It should be "/home/hawk/FC/clean". Maybe $top_srcdir and
> >>>$top_builddir aren't set?
> >>
> >>Clearly not.
> >>
> >>If you don't mind limiting yourself to building from the srcdir this 
> >>patch should work.
> > 
> > 
> > The attached patch works here with the simple and the src!=build case.

> We used pwd in the scripts before but decided @abs_top_srcdir@ was
> "better"

Any detail here?

> (certainly it is simpler).  If possible I'd rather keep the 
> hack inside configure.in, but...

> If we do use pwd, we should use it for the srcdir as well.

srcdir is relative to builddir because builddir is ".". If we use the
absolute builddir for the srcdir we don't need the second pwd.

> And civ.in also needs to be changed.

Yes.

        Raimar

-- 
 email: rf13@xxxxxxxxxxxxxxxxx
  reality.sys corrupt. Reboot Universe? (y,n,q)