Re: Is it possible to translate ada program to C using GCC or other

[anon@anon.org (anon)]

First to clarify, the compiling process. Normally to compile a program

        step 1. gnat compile <filename>.adb

        step 2. gnat bind <filename>.ali   or  gnatbind <filename>.ali
             this program creates two files:
                   1. b~<filename>.adb  
                   2. b~<filename>.ads

        step 3. gnat link <filename>.ali or gnatlink <filename>.ali
             this program compiles the package
                   b~<filename>.adb  
             and then finishes the linking process.
             Note: After linking the b~<filename>.* files are deleted.


but in step two and three you can use

        step 2. gnat bind -C <filename>.ali   or gnatbind -C <filename>.ali
             this creates one file:
                   1. b_<filename>.c
             this file is equivalence to the package file:
                   b~<filename>.adb  

        step 3. gnat link -C <filename>.ali or gnatlink -C <filename>.ali
             this program compiles the C binder file 
                   b_<filename>.c  
             and then finishes the linking process.
             Note: After linking the b_<filename>.* files are deleted.


As for the thesis, I am not sure, you might be able to find it. There is 
a "Jeffrey Skinner" that is into web designing.  Maybe he is the same 
guy, so I would suggest, that you email and ask him.  The only problem I 
see will be that the Ada translator and source code will be based on Ada 
83 specs.


   www.jeffreyskinner.com
                  Jeffrey Skinner. email: jeff [at] jeffreyskinner
                                           aka
                                           jeff@jeffreyskinner 


In <822c5e24-bd20-458d-8346-ba22994aa850@d45g2000hsc.googlegroups.com>, climber.cui@gmail.com writes:
>On Jul 22, 8:45 pm, a...@anon.org (anon) wrote:
>> No!
>>
>> In GNAT the compiler generates assembly code. With one exception that is
>> "GNATBIND" program. Using the "-C" option, GNATBIND with produce its
>> binder program in C. But that does very little for what most people want.
>>
>> A thesis, back in 1991 by Jeffrey Skinner, was in titled "Ada2C: An
>> ADA-To-C Program Translator" but it seams that today, most "Ada2C"
>> programs have more to do with homework assignments than actual working
>> programs.
>>
>Any chance to get ADA to be translated to something readable, like ADA
>code plus run-time calls to its runtime system and pthread library?
>By the way, how to use GNAT to compile ada program into assembly code?
>I use gcc with -S option, but did not get anything but an assembly
>program with no body.
>
>tony
>