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.

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