Default compiler in Arduino

I do not know C++. ..... For low level programming I use assembler and C.
1. How to change default compiler for Arduino to avr-gcc ????

So far I could not get any of my C code compiled in Arduino, however I can build them from terminal command line i.e. not using Arduino at all.

2. Can I use program.elf ( or a.out) to load ( program flash ) to the board ? or has to be program.hex ?

3. Can I import program.elf or program.hex to Arduino just for burning flash ?

The "robot" computer I try to use is Plololu Orangutan SV 328
Machine I use is:
Linux localhost 3.10.7-gentoo #2 SMP PREEMPT Fri Mar 7 07:06:21 UTC 2014 x86_64 AMD FX(tm)-8150 Eight-Core Processor AuthenticAMD GNU/Linux

Thanks for your time .....

  1. How to change default compiler for Arduino to avr-gcc ????

What compiler does it use as a default at present I wonder.

So far I could not get any of my C code compiled in Arduino

This SHOULD work. What kinds of problem are you having?

UKHeliBob:

  1. How to change default compiler for Arduino to avr-gcc ????

What compiler does it use as a default at present I wonder.

From Arduino console:
avr-g++ -c -g -Os -Wall -fno-exceptions -ffunction-sections ..... ....

westfw:

So far I could not get any of my C code compiled in Arduino

This SHOULD work. What kinds of problem are you having?

So far syntax is not recognized by avr-g++ , I use ISO standard C.
Having issues with lib path so this has to be dealt first. Do nut rush in to details yet .. I am just testing my setup before getting to serious work.

Can you post a simple example of some code that you are having problems with and details of where you have your libraries installed ?