epfl-lara/ScalaZ3 — pull request #26 by MikaelMayer (2013-10-14 11:53:13+00:00)
Title: Windows Error management for ScalaZ3

I hope that those precisions can help other people to compile ScalaZ3.
It worked on my station with a lot of efforts.