Re: [certi-dev] Supported platforms

[Mattias Helsing]

I've compiled with on Ubuntu 12.04 using gcc-4.6.3 and with MinGW
unknown gcc version and Windows XP with msvc2005 and 2010. Using
Ubuntu or other distro isn't as important as the gcc version. And if
it compiles with any recent (as in not ancient) gcc it shouldn't be
any problems to compile with other version of gcc. I would expect at
most that you would need to add an additional include (typically
string or stdlib
 headers) here and there. I wouldn't expect much hazzle to compile
certi with LLVM either. Just go ahead and try it and report problems
here.
Actually the most hazzle I ever had with CERTI was to find and set up
flex and bison on the windows platform.

cheers
Mattias

On Mon, Sep 2, 2013 at 8:48 PM, Waléria Antunes David
<address@hidden> wrote:
> So CERTI uses only the Ubuntu Linux platform, no other platform?
>
> Thanks,
>
>
> On Mon, Sep 2, 2013 at 3:14 PM, Doug Hodson <address@hidden> wrote:
>>
>>
>> I've compiled the latest cvs version of CERTI with Ubuntu 13.04 (gcc
>> 4.7.3) and all went well. Offical 3.4.1 source did not compile with this
>> same version of gcc.
>>
>> Doug
>>
>>
>>
>>
>>
>> On 09/02/2013 02:09 PM, Waléria Antunes David wrote:
>>
>> Hi all,
>>
>> I installed CERTI_3_4_1, I'm using Windows OS, but I intend to use the
>> Linux platform. With the Linux platform which is compatible Certi?
>>
>> Thanks,
>>
>>
>>
>>
>> --
>> CERTI-Devel mailing list
>> address@hidden
>> https://lists.nongnu.org/mailman/listinfo/certi-devel
>>
>
>
> --
> CERTI-Devel mailing list
> address@hidden
> https://lists.nongnu.org/mailman/listinfo/certi-devel
>