TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Get KodKod to build on Windows with MSVC #57

Closed cpkleynhans closed 10 years ago

cpkleynhans commented 10 years ago

Currently KodKod only supports building on Windows with MinGW.

It would be nice to be able to build KodKod with the Microsoft Visual C++ Compiler. Initial investigations show that this should be possible with minimal work (most of which will be on the build system).