From mboxrd@z Thu Jan 1 00:00:00 1970 From: Zack Weinberg To: richard.earnshaw@arm.com Cc: law@cygnus.com, gcc@gcc.gnu.org, gcc-patches@gcc.gnu.org Subject: Re: FreeBSD 4.0 Date: Thu, 30 Sep 1999 18:02:00 -0000 Message-ID: <199909201801.LAA17835@zack.bitmover.com> References: <199909201733.SAA23106@sun52.NIS.cambridge> X-SW-Source: 1999-09n/msg00843.html Message-ID: <19990930180200.hBJz_ippazHHIc3xMVTqshLOTM7xLKnYIEzK-FVPcWk@z> Richard Earnshaw wrote: > > > Start with the template in libgcc2.c and change it to deal with header > > files instead of libraries. > > > > But what if I want to pass my code through lint? I've now got to find > another set of header files to replace these or I risk bringing my own > code under the GPL (the special exemption clause only applies if I'm using > the header for compiling with GCC). lint doesn't generate an executable, so you're fine. You'd have a problem if you were to use the header in conjunction with a different *compiler*, such as lcc - but I believe our position is that lcc needs to provide its own copies of these headers anyway. I'd be fine with generalizing the special exception to any compiler, but that's not for me to decide. zw