Re: [Liberty-eiffel] LibertyEiffel (Adler) installation fails

[Cyril ADRIAN]

Hi Christian,

As Rapha said: welcome aboard :-)

gc/gc.h is the standard header of the BDW garbage collector. AFAIR you need at least a version 7.2.

If you use Debian, simply install libgc-dev but stable's is too old so you need at least testing's (see https://packages.debian.org/jessie/libgc-dev)

Note: the next release will be a bit smarter about this library discovery.

Cheers,

2014-08-12 10:41 GMT+02:00 Christian Rinderknecht <address@hidden>:

Dear Rapha,

You are right, I have installed both SmartEiffel and LibertyEiffel.

I followed your advice and the build process goes much further until a
halt (taken from the log):

============
System call "gcc -pipe -O2 -fno-gcse -c -x c clean.c".
In file included from clean.c:23:0:
clean.h:617:19: fatal error: gc/gc.h: No such file or directory
 #include <gc/gc.h>
                   ^
compilation terminated.
../compile failed with status 1
============

I cannot find gc.h anywhere. Any hint?

Best regards,

Christian

On 08/11/2014 09:22 PM, Raphael Mack wrote:
> Dear Christian,
>
> 1. sorry for the late reply
> 2. welcome on this list
> 3. for me this looks as if you'd have a mixture of SmartEiffel and
> LibertyEiffel in your setup, I suggest to rename the ~/.serc
> directory to something like ~.serc_bak while using liberty.
>
> Rapha