Mail Archives: djgpp-workers/1997/09/11/21:25:40
> We had some time ago a discussion what should go in a binary
> distribution and Eli said, that it should contain in general
> all the stuff, which is installed by the "make install" step,
> and when I remember correct, "make install" for gcc installs
> also an specs file.
It installs a file that represents the specs as gcc knows them, and
only for reference. If you delete that specs file, there will be no
change in functionality of gcc (and it runs faster). In the case of
DJGPP, DJGPP itself modifies the specs file to reprogram gcc to
function correctly in a djgpp environment. Thus, the reason for the
existence of the specs file is djgpp, not gcc, so the file should be
distributed with djgpp, not gcc.
- Raw text -