Cabal无法在OSX Lion上安装Idris语言

Question

我正在尝试使用官方教程中提供的安装指南在OSX Lion中安装Idris语言.我已经安装了GMP.这是我得到的错误:

$ cabal install idris
Resolving dependencies...
Configuring libffi-0.1...
cabal: The pkg-config package libffi is required but it could not be found.
[1 of 1] Compiling Main             ( /var/folders/f0/dlx6tl5x18z4k4_vq0fkqtb80000gn/T/llvm-general-3.3.5.0-61662/llvm-general-3.3.5.0/Setup.hs, /var/folders/f0/dlx6tl5x18z4k4_vq0fkqtb80000gn/T/llvm-general-3.3.5.0-61662/llvm-general-3.3.5.0/dist/setup/Main.o )
Linking /var/folders/f0/dlx6tl5x18z4k4_vq0fkqtb80000gn/T/llvm-general-3.3.5.0-61662/llvm-general-3.3.5.0/dist/setup/setup ...
setup: The program llvm-config version ==3.3.* is required but it could not be
found.
cabal: Error: some packages failed to install:
idris-0.9.9 depends on llvm-general-3.3.5.0 which failed to install.
libffi-0.1 failed during the configure step. The exception was:
ExitFailure 1
llvm-general-3.3.5.0 failed during the configure step. The exception was:
ExitFailure 1

尝试在没有LLVM的情况下安装Idris会产生此错误:

$ cabal install idris -f-LLVM
Resolving dependencies...
Configuring libffi-0.1...
cabal: The pkg-config package libffi is required but it could not be found.
cabal: Error: some packages failed to install:
idris-0.9.9 depends on libffi-0.1 which failed to install.
libffi-0.1 failed during the configure step. The exception was:
ExitFailure 1

Answer 1

我在OSX Mavericks上遇到了同样的问题.为了让Idris编译,我用homebrew来安装gmp,然后我不得不'导出PKG_CONFIG_PATH =/usr/local/Cellar/libffi/3.0.13/lib/pkgconfig',然后'cabal install idris -f-LLVM ".我得到了从这个站点导出PKG_CONFIG_PATH变量的提示:

https://groups.google.com/d/msg/idris-lang/gxcdvRIA2OI/NqKSd4zHkI4J

小牛已经安装了libffi,我不想从源代码安装第二个副本,这就是PKG_CONFIG_PATH技巧帮助我避免的.请'brew info libffi'找到正确的导出路径.希望很快有人会为伊德里斯创造一个自制的公式......

Answer 2

第一个错误指示您应该安装发行版的 LLVM 开发包（而不是通过 cabal），第二个错误指​​示您应该安装 GCC libffi 库的开发包。您使用什么 Linux 发行版？或者您使用的是 Windows/Mac？