I have been working on compiling ML on windows using the tarball that is downloaded through configure.py from petsc 3.1 p8. There are several changes to the source code and to the configure/Makefile that I found necessary to get it to compile with the intel compilers. Would you be interested in merging these changes into your tarball? If so, I will put together a patch.
Cheers, John
