On Tue, Apr 30, 2013 at 1:54 PM, Felix <[email protected]> wrote: > From: Mario Domenech Goulart <[email protected]> > 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 <[email protected]> wrote: >> >>> On Tue, Apr 30, 2013 at 12:13 PM, Mario Domenech Goulart >>> <[email protected]> wrote: >>>> >>>> On Tue, 30 Apr 2013 12:03:36 -0700 Thomas Hintz <[email protected]> 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! _______________________________________________ Chicken-users mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/chicken-users
