Cabal không cài đặt ngôn ngữ Idris trên OSX Lion

Question

Tôi đang cố cài đặt ngôn ngữ Idris trong OSX Lion bằng hướng dẫn cài đặt được cung cấp trên official tutorial. Tôi đã gỡ bỏ cài đặt GMP. Đây là lỗi tôi nhận được:

$ 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 

Đang cố gắng để cài đặt Idris không LLVM sản xuất lỗi này:

$ 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

Lỗi đầu tiên cho thấy bạn nên cài đặt các gói phát triển LLVM phân phối của bạn (không thông qua cabal) và thứ hai cho biết bạn nên cài đặt gói phát triển cho thư viện libffi GCC. Bạn đang sử dụng phân phối Linux nào? Hoặc là bạn trên Windows/Mac?

Answer 2

Tôi đã gặp sự cố tương tự này trên OSX Mavericks. Để có được Idris để biên dịch, tôi đã sử dụng homebrew để cài đặt gmp, sau đó tôi phải làm 'export PKG_CONFIG_PATH =/usr/local/Cellar/libffi/3.0.13/lib/pkgconfig', và sau đó 'cabal install idris -f-LLVM '. Tôi có mũi để xuất khẩu biến PKG_CONFIG_PATH từ trang web này:

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

Mavericks đã đã libffi cài đặt, và tôi không muốn cài đặt một bản sao thứ hai từ mã nguồn, đó là những gì các trick PKG_CONFIG_PATH giúp tôi tránh. Do 'brew info libffi' để tìm đường dẫn chính xác để xuất. Hy vọng rằng ai đó sẽ tạo ra một công thức homebrew cho Idris sớm ...