Re: [Chicken-users] z3 egg failing to install

[Mario Domenech Goulart]

Hi Thomas,

On Tue, 30 Apr 2013 12:03:36 -0700 Thomas Hintz <address@hidden> wrote:

> I'm trying to install the z3 egg and it is failing. Does it actually
> depend on the z3lib? Does it have some other system dependency? (I
> haven't been able to get the z3lib installed either but mostly because
> I can't find any docs for it).
>
>
> chicken-install z3
> ...
> installing z3:1.42 ...
> changing current directory to /tmp/temp2f49.8022/z3
>   /usr/local/bin/csi -bnq -setup-mode -e "(require-library setup-api)"
> -e "(import setup-api)" -e "(setup-error-handl\
> ing)" -e "(extension-name-and-version '(\"z3\" \"1.42\"))"
> /tmp/temp2f49.8022/z3/z3.setup
>   /usr/local/bin/csc -feature compiling-extension -setup-mode
> z3.scm -O2 -d1 -s -j z3
> In file included from z3.c:18:
> z3flib.c: In function 'z3f_encode_init':
> z3flib.c:38: error: 'ENODATA' undeclared (first use in this function)
> z3flib.c:38: error: (Each undeclared identifier is reported only once
> z3flib.c:38: error: for each function it appears in.)
> z3flib.c: In function 'z3f_decode_init':
> z3flib.c:199: error: 'ENODATA' undeclared (first use in this function)
> z3flib.c: In function 'z3f_decode_read':
> z3flib.c:240: error: 'ENODATA' undeclared (first use in this function)
>
> Error: shell command terminated with non-zero exit status 256: cc z3.c
> -o z3.o -c  -fno-strict-aliasing -fwrapv -DHAV\
> E_CHICKEN_CONFIG_H -DC_ENABLE_PTABLES -O2 -pipe -fno-strict-aliasing
> -fPIC -DPIC -DC_SHARED -I"/usr/local/include/chi\
> cken"
>
> Error: shell command failed with nonzero exit status 256:
>
>   /usr/local/bin/csc -feature compiling-extension -setup-mode
> z3.scm -O2 -d1 -s -j z3
>
>
> Error: shell command terminated with nonzero exit code
> 17920

AFAIK, you don't need any specific external library installed on your
system to build the z3 egg.  All the foreign code is shipped with the
egg.

ENODATA seems to be defined in z3lib.h, which is shipped with the egg.

z3 seems to be ok on Linux:
http://tests.call-cc.org/master/linux/x86/2013/04/30/salmonella-report/install/z3.html

Maybe it is an issue that affects z3 builds on FreeBSD?


> chicken-version
> (c) 2008-2013, The Chicken Team
> (c) 2000-2007, Felix L. Winkelmann
> Version 4.8.0.3 (stability/4.8.0) (rev 091c3d9)
> freebsd-unix-gnu-x86-64 [ 64bit manyargs dload ptables ]
> compiled 2013-03-12 on aeryn.xorinia.dim (Darwin)
>
>
>
> uname -a
> FreeBSD foo.com 9.1-RELEASE FreeBSD 9.1-RELEASE #0 r243825: Tue Dec  4
> 09:23:10 UTC 2012
> address@hidden:/
> usr/obj/usr/src/sys/GENERIC  amd64

Best wishes.
Mario
-- 
http://parenteses.org/mario