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

[Mario Domenech Goulart]

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

> On Tue, Apr 30, 2013 at 12:13 PM, Mario Domenech Goulart <address@hidden> 
> wrote:
>>
>> 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?
>
> Thanks Mario you got me on the right track, I think. I really have no
> idea what I'm doing but I just copied the openbsd define and changed
> it to freebsd and it seems to work. I've attached a patch.

Cool.  I'm glad it works, Thomas.

I'm not sure about who the current z3 maintainer is.  Felix is one of
the authors, so maybe he is the right person to handle your patch.

Felix, can you take a look?

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