Re: [Liberty-eiffel] Bug #44601

[Mehul Sanghvi]

Hi Rapha,

     I've not had a chance to evolve the solution further.  I'm going to try and pick

up on things from where I left off, during the coming week.

cheers,

        mehul

On Fri, Apr 8, 2016 at 3:55 PM, Raphael Mack <address@hidden> wrote:

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
>
>
>

--

Mehul N. Sanghvi
email: address@hidden