Re: [Liberty-eiffel] Bug #44601

[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