[Cryptominisat-devel] The to-be-released 2.9.0 is up

Mate Soos soos.mate at gmail.com
Jeu 20 Jan 19:14:17 CET 2011


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi All,

In case you wish to play around or test/stress-test the upcoming
version, I have put up the tarball and all executables (thank to Martin
for the Windows exe's):

http://planete.inrialpes.fr/~soos/release/

It's not yet available elsewhere. I have put a check into configure.in
using Vegard's original C++ file, as the simplified example by the GCC
developers couldn't return a value and was using GCC quirks. It now
prints during configure:

checking for gcc bug number 47365... Your gcc is broken. Disabling
- -ftree-pre, but this may slow down CryptoMS

OR

checking for gcc bug number 47365... Your gcc version doesn't _seem_ broken

The former adds the "-fno-tree-pre" as a compile option. I have also
removed the cmake build config, as it's not needed for end users, and
makes things more complicated.

I have also added a line to print the gcc version for verbosity level >=1:

"c compiled with gcc version 4.4.5"
(for non-gcc we print: "c compiled with non-gcc compiler")

The configure script also has a new option " --enable-static-link" to
enable static linking (off by default) -- I have built CryptoMiniSat
with this for the release executables. The Windows executables need the
"Microsoft Visual C++ 2008 SP1 Redistributable Package" installed, which
is free, and downloadable from Microsoft.

If there are any problems, notes, etc., please tell!

Bests,

Mate

- -- 
Mate Soos
Security Research Labs
http://www.srlabs.de
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk04e3kACgkQsTOOstKb0jnn9wCfR1yTYcwrsi8WEepTXuZaqr+p
NpQAn1308MYIA5yVoMjANfzUsJNkfOM2
=3LpE
-----END PGP SIGNATURE-----



More information about the Cryptominisat-devel mailing list