Re: [Xsb-development] building xsb 3.0.1 with electric fence?

[Terrance S. <ts...@cs...>]

Ideally, you shouldn't have to run the memory checks -- we'd do that for
you :-)  The electric fence option was an option mostly useful for XSB
developers so we could make sure we dont overflow anything.  Lately, I've
been doing my memory checking using Valgrind on linux. At some point I may
recheck electric fence vs Valgrind to see whether there's anything
electric fence does that Valgrind doesn't -- but for now, I guess its
unsupported.

Terry



On Tue, 22 May 2007, Gary Yee wrote:

> Hello,
>
> I downloaded XSB 3.0.1 and tried to build it after running
> "./configure --enable-electric-fence", but when I run "./makexsb" I
> get this error:
>
> ....
> make[1]: Entering directory `/home/gyee/workspace/XSB'
>
> cd cmplib; make
> make[2]: Entering directory `/home/gyee/workspace/XSB/cmplib'
> rm -f '../build/.xsb_cmplib_warn.tmp'
> /home/gyee/workspace/XSB/bin/xsb -e "segfault_handler(warn)." < cmd...
>
>   Electric Fence 2.1 Copyright (C) 1987-1998 Bruce Perens.
> [Compiling /home/gyee/workspace/XSB/config/i686-pc-linux-gnu/lib/xsb_configuration]
> % Specialising partially instantiated calls to xsb_configuration/2
> [Module xsb_configuration compiled, cpu time used: 0.2040 seconds]
> [xsb_configuration loaded]
> [sysinitrc loaded]
> [xsbrc loaded]
> ++Error[XSB/Runtime/P]: [Miscellaneous] ++Error[XSB]: [Runtime/C]
> [PTOC_LONGSTRING] Argument of unknown type
> Forward Continuation...
> ... loader:search_file/3
> ... loader:search_file/3
> ... standard:call/1
> ... standard:catch/3
>
> End XSB (cputime 0.39 secs, elapsetime 1.48 secs)
> /bin/rm cmd...
> cat: ../build/.xsb_cmplib_warn.tmp: No such file or directory
> make[2]: *** [all] Error 1
> make[2]: Leaving directory `/home/gyee/workspace/XSB/cmplib'
> make[1]: *** [cmplib] Error 2
> make[1]: Leaving directory `/home/gyee/workspace/XSB'
> make: *** [remake_dot_O_files] Error 2
>
> It builds fine if I don't put --enable-electric-fence during the
> configure stage.  Is this option no longer supported?
>
> Thanks,
> Gary
>
> -------------------------------------------------------------------------
> This SF.net email is sponsored by DB2 Express
> Download DB2 Express C - the FREE version of DB2 express and take
> control of your XML. No limits. Just data. Click to get it now.
> http://sourceforge.net/powerbar/db2/
> _______________________________________________
> Xsb-development mailing list
> Xsb...@li...
> https://lists.sourceforge.net/lists/listinfo/xsb-development
>