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

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

<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" (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.  And civ.in 
also needs to be changed.

jason