Проблемы с установкой Idris / cabal из removePathRecursive в Windows

Question

Установка Idris в Windows 10 с помощью инструкций:

• Установите Haskell, следуя this
• Заменили , на ; в многострочных путях конфигурациифайлы, о которых сообщил @gergelybat в this

c:\Users\me\cabal update
c:\Users\me\cabal install idris

Возникло несколько ошибок в зависимости, я следую инструкциям Idris, чтобы слепо применять следующие следующие флаги

----reinstall       
--avoid-reinstalls  
--force-reinstalls  
--upgrade-dependencies

Достигнут прогресс, вещи начинают строиться, мы получаем весь путь к созданию временного каталога с чем-то, называемым idris-1.3.1\…\setup.exe Затем мы терпим крах со следующей ошибкой:

C:\Users\me\AppData\Local\Temp\cabal-tmp-26128\idris-1.3.1\dist\setup: removeDirectoryRecursive:
…": unsatisfied constraints (The directory is not empty.)

Поискивая это, я нахожу этота же ошибка происходит при установке cabal и регистрируется как проблемы на множестве проектов GitHub.Теории повсюду на карте и никаких решений не предусмотрено.Документация Haskell по removeDirectoryRecursive предлагает подсказку, заканчивающуюся замечанием, что это не работает в Windows, если каталог является символической ссылкой.

Как можно обойти эту проблему, чтобы завершить установку?

Answer 1

Это в основном для записи сработавших шагов, спасибо Майклу Сониману за главный совет.

Последующие шаги.

1. Установите Haskell (со стеком) после this
2. Замените , на ; в многострочных путях файлов конфигурации, как сообщает @gergelybat в this
3. Убедитесь, что у вас версияmake, проверив stack exec -- which make
   • , если вы получите no make, затем установите GnuWin32 ,
   • и убедитесь, что каталог установки для (например, c:\Program Files (x86)\GnuWin32\bin добавлен в вашсистемный путь (следуйте указаниям «установка переменных среды»).
   • Перезапустите PowerShell / Командную строку, повторите шаг 3, вы должны увидеть make make, если не перепроверите свои шаги.
4. Выполнить stack install --resolver lts-12.26 idris… это может быть очень медленно.Он заканчивается копированием компилятора Idris и других элементов в C:\Users\you\AppData\Roaming\local\bin:
5. Test, набрав idris в приглашении, он должен загрузить REPL Idris.

Наслаждайтесь зависимым набором текста до конца вашей жизни в программировании.

Answer 2

Вы можете попробовать использовать cabal new-build или cabal new-install, но я не уверен, сработает ли это.