Idris / cabal在Windows上从removePathRecursive安装问题

Question

使用以下说明在Windows 10上安装Idris：

• 按照this安装Haskell
• 在,的@gergelybat报告的配置文件的多行路径中用;替换了this

c:\Users\me\cabal update
c:\Users\me\cabal install 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项目的大量问题。理论遍布地图，没有提供解决方案。关于removeDirectoryRecursive的Haskell文档提供了一个线索，结果是如果目录是符号链接，则在Windows上失败。

如何通过此问题完成安装？

Answer 1

这主要是为了记录有效的步骤，感谢迈克尔索尼曼的主要提示。

要遵循的步骤。

1. 在this之后安装Haskell（使用Stack）
2. 在,中由@gergelybat报告的配置文件的多行路径中用;替换this
3. 通过检查stack exec -- which make检查您是否有make版本 如果你得到no make然后安装GnuWin32， 确保安装目录（例如c:\Program Files (x86)\GnuWin32\bin添加到您的系统路径中（按照“设置环境变量”）。 重新启动PowerShell /命令提示符，重试步骤3，如果不重新检查您的步骤，您应该看到找到了make。
4. 运行stack install --resolver lts-12.26 idris ......这可能会很慢。最后将Idris编译器和其他项复制到C:\Users\you\AppData\Roaming\local\bin:
5. 通过在提示符下键入idris进行测试，它应该加载Idris REPL。

在编程生涯的其余部分享受依赖打字。

Answer 2

您可以尝试使用cabal new-build或cabal new-install，但我不确定这是否有效。