Compiling C and Ada sources together

Compiling C and Ada sources together

[lange92]

Hi all,
  I've been working on a project where we compile C source files and Ada
sources together to produce a single binary. Most of it is automated at
this point, but for debugging reasons I need to know how to do it by hand.
A long time ago, I saw an article (I thought it was on www.adahome.com)
about how to link together sources from each language, particularly in the
case where the C program makes calls to the ada source (the main program
is in C) so the Interfaces.C functionality is not used.

  Anyone else seen the article, or know how it's done? I'm been perusing
the grant_ug.html without much success.

Thanks
DanL

Re: Compiling C and Ada sources together

[Larry Kilgallen]

In article <Pine.LNX.4.33.0108091308240.130-100000@2067.resnet.uni.edu>, <lange92@2067.resnet.uni.edu> writes:
> Hi all,
>   I've been working on a project where we compile C source files and Ada
> sources together to produce a single binary. Most of it is automated at
> this point, but for debugging reasons I need to know how to do it by hand.
> A long time ago, I saw an article (I thought it was on www.adahome.com)
> about how to link together sources from each language, particularly in the
> case where the C program makes calls to the ada source (the main program
> is in C) so the Interfaces.C functionality is not used.
> 
>   Anyone else seen the article, or know how it's done? I'm been perusing
> the grant_ug.html without much success.

Any approach that does not use Interfaces.C is likely to be specific
to a particular compiler and operating system, so you better specify
yours before you start getting lots of correct but non-applicable answers.

Re: Compiling C and Ada sources together

[Simon Wright]

<lange92@2067.resnet.uni.edu> writes:

>   I've been working on a project where we compile C source files and
> Ada sources together to produce a single binary. Most of it is
> automated at this point, but for debugging reasons I need to know
> how to do it by hand.  A long time ago, I saw an article (I thought
> it was on www.adahome.com) about how to link together sources from
> each language, particularly in the case where the C program makes
> calls to the ada source (the main program is in C) so the
> Interfaces.C functionality is not used.

If you're going to call Ada from C, you need to use pragma Export --
and it's best to be simple at this interface! (just simple types).

  function Foo (X : Integer) return Boolean;
  pragma Export (C, Foo, "package_foo");

(I'm not sure whether all compilers are clever enough to set all
Interfaces.C.int'Size bits of the Boolean result before returning it!)