[Chicken-users] z3 egg failing to install

[Thomas Hintz]

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



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

Thanks,
Thomas Hintz