[Scip] Urgent bugfix for SCIP versions 1.2.0 and 2.0.*

[Stefan Heinz]

Dear SCIP user,

we have bad news for you:  we just discovered a very serious bug that
may lead to corruption of your local memory EVEN if SCIP is merely
installed in the background.  It is connected to the transition from 32
to 64 bit binaries and thus affects all versions from 1.2.0 upwards.

We are currently working at full speed to provide a global solution.
Problem is the access of too large memory pointers.  Until then we urge
you to apply the following workaround to use a fail-safe 16 bit binary:

For your own security, please clean your binaries and recompile SCIP
with the attached Makefile AS SOON AS POSSIBLE!  The following steps
need to be taken:
1) Copy the attached Makefile to our local SCIP directory (e.g.,
ziboptsuite-2.0.1/scip-2.0.1/)
2) Type "make ARCH=x86_16"
3) Type "make ARCH=x86_16 check" to verify that you have successfully
applied the patch.

We are most sorry for any inconvenience caused by this and hope that
most of you have not been affected, yet.

Until further notice,
the SCIP developer team


PS:  Should you use a global SCIP installation (e.g., provided by your
university, institute, ...), please forward this e-mail to your system
administrator with high priority.
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: Makefile
Url: http://listserv.zib.de/mailman/private/scip/attachments/20110401/451d0ea4/Makefile.ksh