Re: [Bug-dejagnu] [dejagnu 1.4] Several bugs

[Rainer Orth]

Rob Savoye writes:

> > * The distribution tar file should be named dejagnu-1.4.tar.gz or
> >   dejagnu-1.4.0.tar.gz to match GNU coding standards.
>  
>   I just fixed this in the packaging code, and I should have a new
> tarball up soon.

excellent, thanks.  After sending the message, I noticed that the current
tar file unpacks into dejagnu-1.4, so the tar file should be called
dejagnu-1.4.tar.gz. either.  I found it mildly confusing to have both 1.4
(in the tar file) and 1.4.0 (e.g. as reported by runtest --version); it
would be better to settle for only one of them (probably 1.4 as per GCS?).

> > * make install installs config.guess twice, once in $(pkgdatadir) (which
> >   seems right) and another time in a redefined $(libexecdir).  This doesn't
> >   look right, and $(libexecdir) certainly isn't right for an
> >   architecture-independent files as per the GCS.
>  
>   I'll check into this one. There really only needs to be one copy of
> config.guess.

If so, the code in runtest.exp looking for the file can/should be
simplified to find only that instance?

> > * Maybe more of the documentation should be installed as well?
> 
>   You mean the ps and pdf files ? That would be an easy fix.

Yes, and maybe the html too.  I think there's something in the GCS about
if/where to install html docs.

        Rainer

-----------------------------------------------------------------------------
Rainer Orth, Faculty of Technology, Bielefeld University

Email: address@hidden