|
From: | Mehul Sanghvi |
Subject: | Re: [Liberty-eiffel] Bug #44601 |
Date: | Sat, 9 Apr 2016 23:01:11 -0400 |
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
>
>
>
[Prev in Thread] | Current Thread | [Next in Thread] |