Установка Agda на windows - PullRequest
Новая
       82

Установка Agda на windows

1 голос
/ 03 августа 2020

Я пытался установить Agda на Windows 10. Я установил все необходимые компоненты (GHS, Cabal, Alex, Happy from Haskell Package и Emacs). Я ввел 

cabal install Agda

Он установил много чего, но застрял на Agda. Поэтому я переделал указанную выше команду и получил то же сообщение об ошибке: 

Resolving dependencies...
Build profile: -w ghc-8.10.1 -O1
In order, the following will be built (use -v for more details):
 - Agda-2.6.1 (lib:Agda, exe:agda, exe:agda-mode) (requires build)
Starting     Agda-2.6.1 (all, legacy fallback)
Building     Agda-2.6.1 (all, legacy fallback)
cabal.exe: Failed to build Agda-2.6.1. The build process terminated with exit
code -1073740791

Как мне продвигаться?

...