Download of GCC sources for Infineon TriCore

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).

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.

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

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.

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.

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.

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