[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Cyril ADRIAN
Subject: Re: [Liberty-eiffel] LibertyEiffel (Adler) installation fails
Date: Tue, 12 Aug 2014 14:42:48 +0200

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

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


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,


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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]