logtalk-GnuProlog-Static library

[cegea]

With this e-mail I hope to help.

I have written the directive :-ensure_linked('$foo0_do_fo3'/6). in the
baa.pl file, and when I execute baa(X), all rights.

'$foo0_do_fo3'/6'. is the real name in the foo.pl of the (do_fo/3).
predicate in the foo.lgt file.

I send you all files to it view you.

Thanks for all, Paulo and Daniel.


Carlos


Daniel wrote me:

I'd  say that the prblem comes from the fact the object where the missing
predicate is defined has not been linked. This means it was not used (in a
"library" sense, i.e. not referenced). You can use a ensure_linked/1
directive in baa.pl to enforce the link of the guilty predicate. But you
have to look at foo.pl (produced by logtalk I suppose) to see its real
name.


Paulo wrote me:

> You will notice that the baa_crash is smaller than baa_cool. I would
expect both files to be equal, both in size and contents. Clearly,
baa_crash does not contain the internal Logtalk bookkeeping tables
(including the table of loaded objects). These tables (represented as
dynamic predicates) seams to be striped in one of the steps of creating
baa_crash but not when creating baa_cool.



address@hidden wrote:
> Hi,
>
> Firstly, I have said you that I am working with Debian Linux,ix86,
Gnu-Prolog (gprolog-1.2.16) and Logtalk(lgt2147).
> I have a problem when I make a executable file and I have used the
libfoo.a library that I have made with the 'ar' linux command.
> I send you several files, with a shell scripts , which generates two
executable files baa_cool and baa_crash.
>
> If one of the symbols is in the library --> ko  (File executable
baa_crash).
>
> Then I obtain the error message:
>
>   uncaught exception:
>   error(existence_error(object,foo),foo::do_fo(2,3,_26),user).
>
> If we links all files, without library, --> ok  (File executable baa_cool).
>
>
> The shell scripts generates the library libfoo.a.

package.tar
Description: Unix tar archive