liberty-eiffel
[Top][All Lists]
Advanced

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

Re: [Liberty-eiffel] Bug #44601


From: Raphael Mack
Subject: Re: [Liberty-eiffel] Bug #44601
Date: Mon, 13 Jun 2016 20:49:40 +0200

Am Montag, den 13.06.2016, 10:11 -0400 schrieb Mehul Sanghvi:
> 
> Yes that is true.  
> 
> 
> Let me re-compile that again.  I had run make-germ.sh and it had
> deleted resources/smarteiffel-germ/*.c but nothing that a "git pull"
> can not fix.
> 
> 
> Any other options that I need to be using when compiling compile_2_c
> and generating the germ with clang support ?

-boost -no_gc

should be sufficient. The interesting question is, whether we need
special handling for clang or whether it is sufficiently compatible to
gcc. - But you'll find out and, as the germ code already compiles it
looks good in my eyes.

Regards,
Rapha





reply via email to

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