Reply by KHR April 23, 20072007-04-23
On 20 Apr., 17:45, Arlet <usene...@c-scape.nl> wrote:
> On Apr 20, 4:14 pm, Grant Edwards <gra...@visi.com> wrote: > > > > > > > > > On 2007-04-20, KHR <karl-heinz.rossm...@liebherr.com> wrote: > > > >>> I am looking for a GCC version for Infineon TriCore. As I > > >>> found out hightec-rt.com has such a GCC version but > > >>> unfortunately they don't give free access to the source code > > >>> although GCC has a GPL license. Does anybody know a link where > > >>> I can download the sources? If not, even a binary for windows > > >>> might be helpful. Thanks a lot > > > >> To be clear, it does not appear that they offer the binaries > > >> for public download so there is no problem with the GPL here. > > > >> If you do find a site where you can download "even the > > >> binaries", then you should inform the FSF as you will have > > >> found a (potential) GPL violation. > > > > IMHO if they sell the binaries they have to make the modified > > > sources public. > > > > Is this correct? > > > No. They have to make the sources available to anybody to whom > > they have distributed a binary. If you didn't get a binary > > from them, then they don't have to give you source. > > Still, the people who bought the binary, and got the sources, have the > right to redistribute these sources to anyone they want.
That is also my understanding. I don't have a binary from them but if anyone who has bought one gives me the sources than everything is okay with the GPL. Does anyone of you have this sources available? I am very interested in it. Thanks
Reply by linnix April 20, 20072007-04-20
On Apr 20, 8:45 am, Arlet <usene...@c-scape.nl> wrote:
> On Apr 20, 4:14 pm, Grant Edwards <gra...@visi.com> wrote: > > > > > > > On 2007-04-20, KHR <karl-heinz.rossm...@liebherr.com> wrote: > > > >>> I am looking for a GCC version for Infineon TriCore. As I > > >>> found out hightec-rt.com has such a GCC version but > > >>> unfortunately they don't give free access to the source code > > >>> although GCC has a GPL license. Does anybody know a link where > > >>> I can download the sources? If not, even a binary for windows > > >>> might be helpful. Thanks a lot > > > >> To be clear, it does not appear that they offer the binaries > > >> for public download so there is no problem with the GPL here. > > > >> If you do find a site where you can download "even the > > >> binaries", then you should inform the FSF as you will have > > >> found a (potential) GPL violation. > > > > IMHO if they sell the binaries they have to make the modified > > > sources public. > > > > Is this correct? > > > No. They have to make the sources available to anybody to whom > > they have distributed a binary. If you didn't get a binary > > from them, then they don't have to give you source. > > Still, the people who bought the binary, and got the sources, have the > right to redistribute these sources to anyone they want.- Hide quoted text - >
But the people who stole the binary, with or without the sources, do not have the right to redistribute the sources. We don't really know the situation here.
Reply by Grant Edwards April 20, 20072007-04-20
On 2007-04-20, Arlet <usenet+5@c-scape.nl> wrote:

>> >>> I am looking for a GCC version for Infineon TriCore. As I >> >>> found out hightec-rt.com has such a GCC version but >> >>> unfortunately they don't give free access to the source code >> >>> although GCC has a GPL license.
[...]
>> >> To be clear, it does not appear that they offer the binaries >> >> for public download so there is no problem with the GPL here.
[...]
>> > IMHO if they sell the binaries they have to make the modified >> > sources public. >> > >> > Is this correct? >> >> No. They have to make the sources available to anybody to >> whom they have distributed a binary. If you didn't get a >> binary from them, then they don't have to give you source. > > Still, the people who bought the binary, and got the sources, > have the right to redistribute these sources to anyone they > want.
That is true. -- Grant Edwards grante Yow! Is this going to at involve RAW human ecstasy? visi.com
Reply by Arlet April 20, 20072007-04-20
On Apr 20, 4:14 pm, Grant Edwards <gra...@visi.com> wrote:
> On 2007-04-20, KHR <karl-heinz.rossm...@liebherr.com> wrote: > > > > >>> I am looking for a GCC version for Infineon TriCore. As I > >>> found out hightec-rt.com has such a GCC version but > >>> unfortunately they don't give free access to the source code > >>> although GCC has a GPL license. Does anybody know a link where > >>> I can download the sources? If not, even a binary for windows > >>> might be helpful. Thanks a lot > > >> To be clear, it does not appear that they offer the binaries > >> for public download so there is no problem with the GPL here. > > >> If you do find a site where you can download "even the > >> binaries", then you should inform the FSF as you will have > >> found a (potential) GPL violation. > > > IMHO if they sell the binaries they have to make the modified > > sources public. > > > Is this correct? > > No. They have to make the sources available to anybody to whom > they have distributed a binary. If you didn't get a binary > from them, then they don't have to give you source.
Still, the people who bought the binary, and got the sources, have the right to redistribute these sources to anyone they want.
Reply by Jeffrey Creem April 20, 20072007-04-20
Paul Black wrote:
> Grant Edwards wrote: >>> IMHO if they sell the binaries they have to make the modified >>> sources public. >>> >>> Is this correct? >> No. They have to make the sources available to anybody to whom >> they have distributed a binary. If you didn't get a binary >> from them, then they don't have to give you source. > > Not quite true. Section 3b of the GPL means that commercial distributors > have obligations about distributing source to people they haven't > shipped the binary to. > >
This is quickly going off topic however, you will note that the lettered items of section 3 are 'ors'. Of the vendors that don't just provide everything to everyone, I'd say that most select 3a. In any case, there is nothing obvious that indicates the vendor mentioned in this thread is doing anything wrong.
Reply by Paul Gotch April 20, 20072007-04-20
Paul Black <nospam@nospam.oxsemi.com> wrote:
> Not quite true. Section 3b of the GPL means that commercial distributors > have obligations about distributing source to people they haven't > shipped the binary to.
If the distributor has discharged their responsibilities under part 3a then part 3b does not apply. Non commerical distributors may use Part 3c however commerical distributors may not. -p -- "Unix is user friendly, it's just picky about who its friends are." - Anonymous --------------------------------------------------------------------
Reply by Paul Black April 20, 20072007-04-20
Grant Edwards wrote:
>> IMHO if they sell the binaries they have to make the modified >> sources public. >> >> Is this correct? > > No. They have to make the sources available to anybody to whom > they have distributed a binary. If you didn't get a binary > from them, then they don't have to give you source.
Not quite true. Section 3b of the GPL means that commercial distributors have obligations about distributing source to people they haven't shipped the binary to. -- Paul
Reply by Grant Edwards April 20, 20072007-04-20
On 2007-04-20, KHR <karl-heinz.rossmann@liebherr.com> wrote:

>>> I am looking for a GCC version for Infineon TriCore. As I >>> found out hightec-rt.com has such a GCC version but >>> unfortunately they don't give free access to the source code >>> although GCC has a GPL license. Does anybody know a link where >>> I can download the sources? If not, even a binary for windows >>> might be helpful. Thanks a lot >> >> To be clear, it does not appear that they offer the binaries >> for public download so there is no problem with the GPL here. >> >> If you do find a site where you can download "even the >> binaries", then you should inform the FSF as you will have >> found a (potential) GPL violation. > > IMHO if they sell the binaries they have to make the modified > sources public. > > Is this correct?
No. They have to make the sources available to anybody to whom they have distributed a binary. If you didn't get a binary from them, then they don't have to give you source. -- Grant Edwards grante Yow! Of course, you at UNDERSTAND about the PLAIDS visi.com in the SPIN CYCLE --
Reply by John Devereux April 20, 20072007-04-20
KHR <karl-heinz.rossmann@liebherr.com> writes:

> On 20 Apr., 14:14, Jeffrey Creem <j...@thecreems.com> wrote: >> KHR wrote: >> > Hello, >> >> > I am looking for a GCC version for Infineon TriCore. As I found out >> > hightec-rt.com has such a GCC version but unfortunately they don't >> > give free access to the source code although GCC has a GPL license. >> > Does anybody know a link where I can download the sources? If not, >> > even a binary for windows might be helpful. >> > Thanks a lot >> >> To be clear, it does not appear that they offer the binaries for public >> download so there is no problem with the GPL here. >> >> If you do find a site where you can download "even the binaries", then >> you should inform the FSF as you will have found a (potential) GPL >> violation. > > IMHO if they sell the binaries they have to make the modified sources > public. > Is this correct?
I think they do the same thing with their version of gcc for the C166. For that they supplied source for gcc itself, but not for the C166 run-time libraries (which were not covered by the GPL). -- John Devereux
Reply by KHR April 20, 20072007-04-20
On 20 Apr., 14:14, Jeffrey Creem <j...@thecreems.com> wrote:
> KHR wrote: > > Hello, > > > I am looking for a GCC version for Infineon TriCore. As I found out > > hightec-rt.com has such a GCC version but unfortunately they don't > > give free access to the source code although GCC has a GPL license. > > Does anybody know a link where I can download the sources? If not, > > even a binary for windows might be helpful. > > Thanks a lot > > To be clear, it does not appear that they offer the binaries for public > download so there is no problem with the GPL here. > > If you do find a site where you can download "even the binaries", then > you should inform the FSF as you will have found a (potential) GPL > violation.
IMHO if they sell the binaries they have to make the modified sources public. Is this correct?