Re: [Liberty-eiffel] Bug #44601

[Raphael Mack]

Hello Mehul,

could you already evolve your solution or better to say the
clang-support? I just committed the patch you sent recently, as this
should anyhow already improve the situation. - So far without the
removal of "-fno-gcse", as this was necessary on linux/gcc. But maybe we
can get rid of it nowadays. We'll have to investigate. @Cyril do you
still remember what the exact effect was without this option? On the
first try I do not see bad effects. Maybe we just let ET try.

Rapha

Am Samstag, den 26.03.2016, 21:42 +0100 schrieb Raphael Mack:
> Hi,
> 
> Am Donnerstag, den 24.03.2016, 18:01 -0400 schrieb Mehul Sanghvi:
> 
> > It is possible to have GCC or CLANG on a Linux system, though we can
> > keep it simple enough for now, and say that on Linux we use GCC and on
> > Darwin we use CLANG. 
> 
> sounds reasonable to me. Users can adjust the liberty.se afterwards if
> they want. And in future we can also adapt install.sh to auto-detect
> whether gcc or clang is available.
> 
> What does "gcc --version" and "clang --version" show on your system?
> 
> > I'll make the adjustments to the other places I missed and resend the
> > logs, along with newer diffs.
> 
> great, lookiing forward to it.
> 
> Regards,
> Rapha
> 
> 
>