[Cryptominisat-devel] The to-be-released 2.9.0 is up
soos.mate at gmail.com
Jeu 20 Jan 19:14:17 CET 2011
-----BEGIN PGP SIGNED MESSAGE-----
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):
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
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!
Security Research Labs
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
-----END PGP SIGNATURE-----
More information about the Cryptominisat-devel