Установка Curry на Windows 7 x64

Я прошу прощения за мой английский. Я надеюсь, что это правильное место, чтобы задать такой вопрос. Я с трудом пытаюсь установить любую реализацию языка Curry на мою машину для университетского назначения. ОС Windows 7 x64. У меня также все еще есть Cygwin, установленный из другого задания, которое нам дали несколько лет назад и почти никогда не использовало после него, поэтому я не уверен, зачем это вообще нужно.

В частности, я пробовал с двумя различными реализациями: PAKCS и MCC:

• PAKCS: Я скачал GHC и SWI-Пролог. Согласно инструкции, я выполнил следующее:

  tar xvzf pakcs-<version>-src.tar.gz
  cd pakcs-<version>
  make
  

  (На самом деле мне пришлось извлечь его вручную по некоторым причинам.) Ниже приводится выдержка из makeвыход:

  ...
  make[6]: Entering directory '/cygdrive/c/Users/<user>/Desktop/pakcs-2.1.1/frontend'
  "/cygdrive/c/Program Files/Haskell Platform/8.6.3/bin/ghc-pkg" init /cygdrive/c/Users/<user>/Desktop/pakcs-2.1.1/frontend/pkg/pakcs.conf.d
  ghc-pkg.exe: cannot create: /cygdrive/c/Users/<user>/Desktop/pakcs-2.1.1/frontend/pkg/pakcs.conf.d already exists
  make[6]: *** [Makefile:67: /cygdrive/c/Users/<user>/Desktop/pakcs-2.1.1/frontend/pkg/pakcs.conf.d] Error 1
  make[6]: Leaving directory '/cygdrive/c/Users/<user>/Desktop/pakcs-2.1.1/frontend'
  ...
  

  На самом деле, самый первый раз, когда я пытался запустить make это вызвало еще одну ошибку, если я правильно помню, что не смог найти ghc или же ghc-pkgдаже если соответствующий bin папка четко включена в PATH переменная. К сожалению, я не смог воспроизвести это. Возможно, это как-то связано с унаследованной проблемой cabal install,

• MCC: Мне удалось скомпилировать его успешно. Однако при использовании интерактивной среды (вызывается с cyi) и пытается загрузить .curry модуль (с :load <module> изнутри cyi) Получаю следующее:

  cyi: internal error: unexpected result from cymake --find
  

  Я также испытал другие ошибки, связанные с использованием.

Мне действительно нужна твоя помощь. Спасибо.

Ps Этот вопрос действительно следует читать так: мне нужна рабочая реализация Curry, мне все равно, какая именно, пока я могу работать над своим заданием. Еще раз спасибо.