« Return to Thread: Difficulty compiling a Prolog file from C in Yap.

Re: Difficulty compiling a Prolog file from C in Yap.

by Vitor Santos Costa-2 :: Rate this Message:

Reply to Author | View in Thread

Hi Jean

Before I look into this more closely, have you tried to get the most
recent version from the git repository?

http://gitorious.org/projects/yap-git/

It sounds like something I thought I had fixed a while ago (but maybe
I didn't :(

Cheers

Vitor

2009/2/2 jean mehat <jm@...>:

> When I instruct Yap to compile a file through the C library, I get an
> error (segmentation violation).
>
> If tried to reduce the problem to a simple form in the attached C
> program. Its trace under gdb is :
> ----
> $ uname -a
> Linux tenuki 2.6.24-19-generic #1 SMP Wed Aug 20 17:53:40 UTC 2008
> x86_64 GNU/Linux
> $ gdb -q tc
> (gdb) run
> Starting program: tc
> % Restoring file /usr/local/lib/Yap/startup
>
> Program received signal SIGSEGV, Segmentation fault.
> 0x00000000004cee7a in CopyTermToArena ()
> Current language:  auto; currently asm
> (gdb) where
> #0  0x00000000004cee7a in CopyTermToArena ()
> #1  0x00000000004cf9f6 in p_nb_setarg ()
> #2  0x000000000040be70 in Yap_absmi ()
> #3  0x000000000045421a in exec_absmi ()
> #4  0x0000000000455c23 in do_goal ()
> #5  0x00000000004044fd in YAP_RunGoalOnce ()
> #6  0x00000000004038dd in main (ac=1, av=0x7fff2be99448) at tc.c:53
> ----
>
> Does the problem occur on your system?
> Any suggestion for solving it?
>
> ----
> Jean Méhat
>
> ------------------------------------------------------------------------------
> This SF.net email is sponsored by:
> SourcForge Community
> SourceForge wants to tell your story.
> http://p.sf.net/sfu/sf-spreadtheword
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users
>
>

------------------------------------------------------------------------------
This SF.net email is sponsored by:
SourcForge Community
SourceForge wants to tell your story.
http://p.sf.net/sfu/sf-spreadtheword
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

 « Return to Thread: Difficulty compiling a Prolog file from C in Yap.