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

[Thomas Hintz]

On Tue, Apr 30, 2013 at 1:54 PM, Felix
<address@hidden> wrote:
> From: Mario Domenech Goulart <address@hidden>
> Subject: Re: [Chicken-users] z3 egg failing to install
> Date: Tue, 30 Apr 2013 20:41:35 +0000
>
>> 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?
>
> I have applied the patch and tagged a new version (1.43). I will also
> inform the original author (a pal of mine).
>
> Thomas: Thanks for finding a fix for this issue.
>
>
> cheers,
> felix
>
>

Thanks guys for helping. It is always a pleasure working with the
chicken community!