certi-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [certi-dev] Certi HLA1516 - compiling CERTI with XML support - Error


From: Eric Noulard
Subject: Re: [certi-dev] Certi HLA1516 - compiling CERTI with XML support - Error
Date: Wed, 24 Apr 2013 13:53:34 +0200

2013/4/24 Waléria Antunes David <address@hidden>:
> Hi,
>
> Answering this question...
>
>
> 0) Type and version of your host: Linux Debian 6 - 64bits or Windows 7
> 32bits
>     - I'm using WindowsXP

32  bits or 64 bits?

>
> 1) CERTI version you use: x.y.z or CVS or etc....
>     - I'm using CERTI-3.4.0-Source

Please use either:
http://download.savannah.gnu.org/releases/certi/CERTI-3.4.1-Source.tar.gz
or this up-to-date snapshot
http://download.savannah.gnu.org/releases/certi/beta/CERTI-3.4.2cvs-Source-erk-24avril2013-13h13.tar.gz

>
> 2) Compiler type and version you use: Visual Studio 2011 Express, gcc 4.6.3,
>     - I'm using Visual Studio 9 2008
>
>
> 3) CMake version (if the issue seems to come from CMake)
>     - CMake 2.8.10.2

Ok fine.

--
Erk
Le gouvernement représentatif n'est pas la démocratie --
http://www.le-message.org



reply via email to

[Prev in Thread] Current Thread [Next in Thread]