средства автоматизации для построения задачи для Windows по проэкту линукс

[alex_dorin]

Здравствуйте !
  Есть проект на линукс http://wwwlehre.dhbw-stuttgart.de/~sschulz/E/Download.html
Это - математическая программа поиска логического вывода. Как сделать задачу для Windows , имея этот проэкт ?
Возможно есть какие-то соображения или средства автоматизации для этого ?

[unimix]

Для компиляции своих программ на С/C++ в Windows я:

• Пишу конфиг для cmake (CMakeLists.txt).
• Устанавливаю Microsoft Visual Studio Express (например MSVS Express 2013).
• Устанавливаю cmake.
• С помощью cmake создаю файлы проекта для MSVS, по необходимости изменяя настройки расположения файлов библиотек (.lib) и т.п.
• Компилирую в MSVS.

Насчёт проекта E. Там написано, что можно компилировать с помощью Cygwin.