GPS example fails to compile

GPS example fails to compile

[Xcriber51]

Hi

After finally deciding to dive into the world of a language that requires
you to write...

    function Get_It (n: Integer) return Integer;

..what you can say in C as...

    int get_it (int n);
    
..I have downloaded the much-touted GPS IDE. 

Have I pissed you off already? Ok, that was just to get your attention,
forget that.

Seriously, after installing the IDE, I went ahead with the first tutorial:
SDC (the simple calculator), under "C:\GPS\doc\gps\examples\demo" (with the
default Windows installation), defined by the project file "sdc.gpr".

When I reached the full compilation stage of the Tutorial, I got a nasty
failure: gnatmake stops at "matrix_binding.adb", telling me that a series
of binding functions have "undefined reference to" 'name-of-function'.

The functions are in a C file ("matrix_utils.c" and/or "matrix.h")
included in the project. 

But my question is this: As I was trying to figure out how Ada manages
binding with external language modules (in our case with C code), I saw
that it uses the following syntax:

    function Alloc (Rows, Columns : Integer) return Matrix_Type is
        function C_Alloc (Rows, Columns : short) return Matrix_Type;
        pragma Import (C, C_Alloc, "matrixAlloc");
    begin
        return C_Alloc (short (Rows), short (Columns));
    end Alloc;

Now as I gather from another example in this forum, this "Import" function
works like so:

    -- Based on our example
    pragma Import (
        Convention      => C,
        Entity          => C_Alloc,
        External_Name   => "matrixAlloc"
        );

That's fine, but how does the compiler know where the heck "matrixAlloc"
is? I can't see the actual C file where the "matrixAlloc" and similar
functions are located included or explicitly referred to in the
"matrix_binding.ads" file, either. 

I checked:

- the .GPR file - the project directories are listed there, but not the
actual external module names;

- the GPS help system (which has topic headings like
"Interfaces.C.Strings", although they don't lead to any help files - that
link refers to an .ADS file, for instance);

- "Ada Distilled", the Wikibook "Ada Programming", the site "AdaPower",
etc.

I just couldn't find something that actually explains this to me.

Obviously - by Eric Raymondian criteria -, I'm dumb.

Any patient soul out there to explain how the f--- Ada does binding with
an external language module? (Not the "pragma import" construct, dammit,
but how the whole thing comes together.)

Thanks, patient soul!


-- Ken

P.S. Oh, and by the way: Why doesn't the example compile? Is it because I
installed GPS on an XP system when it was a full moon?

Re: GPS example fails to compile

[Pascal Obry]

Xcriber51 a �crit :

> P.S. Oh, and by the way: Why doesn't the example compile? Is it because I
> installed GPS on an XP system when it was a full moon?

Probably yes.

Yet you did not tell which compiler you are using nor the version of the
GPS you have installed.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595

Re: GPS example fails to compile

[Gautier]

Xcriber51 wrote:
[...]
> Any patient soul out there to explain how the f---

Bless you!

 > Ada does binding with
> an external language module? (Not the "pragma import" construct, dammit,
> but how the whole thing comes together.)

This is done at the linker level, the usual way - I suppose you know 
how it works, since you are fluent in C...

> Thanks, patient soul!

If you want to see an example, there is a binding to OpenGL (a 
graphics library) on the link below. There are tons of pragma Import, 
and you can see how it works with the GNU (Windows, Linux) and the 
Microsoft linkers.
_____________________________________________________
GLOBE_3D -- http://www.mysunrise.ch/users/gdm/g3d.htm

NB: For a direct answer, e-mail address on the Web site!

Re: GPS example fails to compile

[Xcriber51]

Sorry about that, Pascal. I downloaded and installed it just a few days
ago, so it's the latest version. On the About dialog, it says "GPS 3.0.0
(20050517). In the command console, "gnat" displays the date "(20050729)".


Hope these help.


-- Ken

Re: GPS example fails to compile

[Jeffrey R. Carter]

Xcriber51 wrote:
> 
> Any patient soul out there to explain how the f--- Ada does binding with
> an external language module? (Not the "pragma import" construct, dammit,
> but how the whole thing comes together.)

When you import a subprogram from another language, you're going outside 
the Ada language, so the compiler can't help you. You've entered the 
realm of unchecked programming, where you're telling the compiler, 
"Trust me." (Of course, decades of experience with languages like C show 
that, for anything significant, we can't be trusted.)

At link time, you have to provide the linker with the implementation of 
the imported operation so your program can call it. Ada provides pragma 
Linker_Options for that. With gnatmake, you can use -largs to provide 
linker options, or use the project-file mechanism.

-- 
Jeff Carter
"To Err is human, to really screw up, you need C++!"
St�phane Richard
63

Re: GPS example fails to compile

[Stephen Leake]

"Xcriber51" <xcriber@[OMITTED]> writes:

> After finally deciding to dive into the world of a language that requires
> you to write...
>
>     function Get_It (n: Integer) return Integer;
>
> ..what you can say in C as...
>
>     int get_it (int n);

Good move.

> ..I have downloaded the much-touted GPS IDE. 

Bad move. Stick with Emacs.

See http://fsw.gsfc.nasa.gov/gds/tools_install_windows.pdf
for complete installation instructions.

Have fun :).

-- 
-- Stephe

Re: GPS example fails to compile

[Simon Wright]

"Xcriber51" <xcriber@[OMITTED]> writes:

> That's fine, but how does the compiler know where the heck "matrixAlloc"
> is? I can't see the actual C file where the "matrixAlloc" and similar
> functions are located included or explicitly referred to in the
> "matrix_binding.ads" file, either. 

Hmm, nor do I.

I know how to tell the linker to use the C .o's; Edit > Project
Properties > Switches > Ada Linker, at the bottom enter

  obj/matrix.o obj/matrix_utils.o

and I can compile the C sources (select the file and Build > Compile
File) but what I don't see is how to get GPS to do it for itself.

I have to admit to not reading the instructions, though.

Re: GPS example fails to compile

[Ludovic Brenta]

Simon Wright a écrit :
> "Xcriber51" <xcriber@[OMITTED]> writes:
>
> > That's fine, but how does the compiler know where the heck "matrixAlloc"
> > is? I can't see the actual C file where the "matrixAlloc" and similar
> > functions are located included or explicitly referred to in the
> > "matrix_binding.ads" file, either.
>
> Hmm, nor do I.
>
> I know how to tell the linker to use the C .o's; Edit > Project
> Properties > Switches > Ada Linker, at the bottom enter
>
>   obj/matrix.o obj/matrix_utils.o
>
> and I can compile the C sources (select the file and Build > Compile
> File) but what I don't see is how to get GPS to do it for itself.
>
> I have to admit to not reading the instructions, though.

It's in the file scm.gpr: it says "for Languages use ("Ada", "C")" and
the source directories containing both C and Ada source files. It seems
that recent versions of gnatmake have built-in support for C as well as
Ada. I haven't looked any further though.

-- 
Ludovic Brenta.

Re: GPS example fails to compile

[Alex R. Mosteo]

Ludovic Brenta wrote:

> Simon Wright a �crit :
>> "Xcriber51" <xcriber@[OMITTED]> writes:
>>
>> > That's fine, but how does the compiler know where the heck
>> > "matrixAlloc" is? I can't see the actual C file where the "matrixAlloc"
>> > and similar functions are located included or explicitly referred to in
>> > the "matrix_binding.ads" file, either.
>>
>> Hmm, nor do I.
>>
>> I know how to tell the linker to use the C .o's; Edit > Project
>> Properties > Switches > Ada Linker, at the bottom enter
>>
>>   obj/matrix.o obj/matrix_utils.o
>>
>> and I can compile the C sources (select the file and Build > Compile
>> File) but what I don't see is how to get GPS to do it for itself.
>>
>> I have to admit to not reading the instructions, though.
> 
> It's in the file scm.gpr: it says "for Languages use ("Ada", "C")" and
> the source directories containing both C and Ada source files. It seems
> that recent versions of gnatmake have built-in support for C as well as
> Ada. I haven't looked any further though.

I use Ada plus C plus C++ ;) routinely. You tell the languages in the
project file as you say, and enable "multilanguage build" in GPS options. 

This, translated to command line dudes, means that instead of "gnatmake",
another tool is used: "gprmake". It will compile all C and C++ sources in
the project folders, create a library with them and link it in the final
executable (also the proper linker for C or C++ is called).

So, in short: use gprmake with your project files if you're using
multilanguage, or enable the corresponding option in GPS. 

Re: GPS example fails to compile

[Xcriber51]

Alex: It turned out to be just a setting issue: 

Edit > Preferences > General | Multi language build: Enabled.

Ludovic: I had noticed the settings about the directories in the .GPR
file, but that still doesn't fully answer my question. The thing is, as
Simon mentions, this is probably done by the linker -- i.e. not specified
textually, but handled via compiler/linker magic.

(I was thinking maybe something like the IDL type specification files were
involved.)

Anyway, thank you, all of you patient souls.


-- Ken

Re: GPS example fails to compile

[Simon Wright]

"Alex R. Mosteo" <devnull@mailinator.com> writes:

> I use Ada plus C plus C++ ;) routinely. You tell the languages in the
> project file as you say, and enable "multilanguage build" in GPS options.

So you do.

This is an example of help files that help you if you already know the
answer (or are prepared to read the whole thing in case it turns out
that there's an answer).

I was very much expecting to find this in the project options (ie the
GPR file), not in a general preferences section!

Re: GPS example fails to compile

[Alex R. Mosteo]

Simon Wright wrote:

> "Alex R. Mosteo" <devnull@mailinator.com> writes:
> 
>> I use Ada plus C plus C++ ;) routinely. You tell the languages in the
>> project file as you say, and enable "multilanguage build" in GPS options.
> 
> So you do.
> 
> This is an example of help files that help you if you already know the
> answer (or are prepared to read the whole thing in case it turns out
> that there's an answer).
> 
> I was very much expecting to find this in the project options (ie the
> GPR file), not in a general preferences section!

I have also manifested a couple of times my surprise at it being not a
project option, or simply an autodetected thing if your project says that
you're using something else than Ada.

I guess there's some reason for it being like it is, but I ignore it.