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