How can I make ciao run on a windows64 system.
I only succeeded by using a virtual machine installing a 32bit guest system. But working with a guest system is no fun.
There may exist an easier solution.
Cheers
Walter
On Mon, Jan 28, 2013 at 5:29 PM, Walter Krafft <benessere(a)web.de> wrote:
How can I make ciao run on a windows64 system.
I only succeeded by using a virtual machine installing a 32bit guest system. But working with a guest system is no fun.
There may exist an easier solution.
Dear Walter,
As far as we know, Win64 systems can execute 32 bit binaries using:
http://msdn.microsoft.com/en-us/library/windows/desktop/aa384249(v=vs.85).as...
However, we do not currently test Ciao on any Win64 system. Could you tell us which version of Windows are you using and at which point do the system fail? Thank you!
-
Jose F. Morales -
Walter Krafft