Sign in

username:

password:



Not a member?

Search Comp.Arch.Embedded



Search tips

embedded by Keywords

68HC11 | 68HC12 | 8051 | 8052 | ARM | ARM7 | Asic | AT91 | AT91RM9200 | Atmel | AVR | AVRStudio | Bootloader | CFP | CompactFlash | Cygnal | Cypress | Dataflash | DSP | eCos | EEPROM | Embedded Linux | Emulator | Endian | Ethernet | Firewire | FPGA | Freescale | GCC | GNUARM | GSM | H8 | HDLC | I2C | Infineon | Interrupts | Java | JTAG | LCD | LED | LPC2000 | MCU | Microchip | MMC | MPLAB | MSP430 | PC104 | PCB | PCI | PCMCIA | PowerPC | Rabbit | RS232 | RS485 | RTOS | SBC | SDRAM | Sensor | SPI | STK500 | UART | UML | USART | USB | Verilog | VHDL | VxWorks | Xilinx

Ads

Discussion Groups

Discussion Groups | Comp.Arch.Embedded | Download of GCC sources for Infineon TriCore

There are 12 messages in this thread.

You are currently looking at messages 0 to 10.

Download of GCC sources for Infineon TriCore - KHR - 03:47 20-04-07

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




Re: Download of GCC sources for Infineon TriCore - Jeffrey Creem - 08:14 20-04-07

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.

Re: Download of GCC sources for Infineon TriCore - KHR - 09:18 20-04-07

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?


Re: Download of GCC sources for Infineon TriCore - John Devereux - 09:59 20-04-07

KHR <k...@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

Re: Download of GCC sources for Infineon TriCore - Grant Edwards - 10:14 20-04-07

On 2007-04-20, KHR <k...@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 --

Re: Download of GCC sources for Infineon TriCore - Paul Black - 10:50 20-04-07

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

Re: Download of GCC sources for Infineon TriCore - Paul Gotch - 11:27 20-04-07

Paul Black <n...@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
--------------------------------------------------------------------

Re: Download of GCC sources for Infineon TriCore - Jeffrey Creem - 11:39 20-04-07

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.

Re: Download of GCC sources for Infineon TriCore - Arlet - 11:45 20-04-07

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.


Re: Download of GCC sources for Infineon TriCore - Grant Edwards - 12:39 20-04-07

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            

| 1 | 2 | next