[Cryptominisat-devel] Fwd: Re: Re: Sage <=> CryptoMiniSat

Mate Soos soos.mate at gmail.com
Ven 22 Juin 12:17:46 CEST 2012

Hi All,

On 06/21/2012 02:21 PM, Stanislav Bulygin wrote:
> I'm CCing cryptominisat-devel because it seems this is a problem of 
> CryptoMiniSat vs your compiler. Any takers?
>> DimacsParser.cpp: In member function ‘void
>> CMSat::DimacsParser::parse_DIMACS(T) [with T = _IO_FILE*]’:
>> DimacsParser.cpp:482:60:   instantiated from here
>> DimacsParser.cpp:461:33: error: no matching function for call to
>> ‘StreamBuffer::StreamBuffer(_IO_FILE*&)’
>> DimacsParser.cpp:461:33: note: candidates are:
>> StreamBuffer.h:59:5: note: StreamBuffer::StreamBuffer(gzFile)
>> StreamBuffer.h:59:5: note:   no known conversion for argument 1 from
>> ‘_IO_FILE*’ to ‘gzFile’
>> StreamBuffer.h:29:7: note: StreamBuffer::StreamBuffer(const StreamBuffer&)
>> StreamBuffer.h:29:7: note:   no known conversion for argument 1 from
>> ‘_IO_FILE*’ to ‘const StreamBuffer&’
>> make[2]: *** [DimacsParser.lo] Error 1

Sorry for this. 2.9.5 will have this fixed, and will be released either
today or Monday.



Mate Soos
Security Research Labs

-------------- section suivante --------------
Une pièce jointe autre que texte a été nettoyée...
Nom: signature.asc
Type: application/pgp-signature
Taille: 262 octets
Desc: OpenPGP digital signature
URL: <http://lists.gforge.inria.fr/pipermail/cryptominisat-devel/attachments/20120622/ddccba73/attachment.pgp>

More information about the Cryptominisat-devel mailing list