Cabal nicht auf den <a href="http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf" rel="noreferrer">official tutorial</a> bereitgestellt Idris Sprache auf OSX Lion

Question

Ich versuche zu installieren, die Idris Sprache in einem OSX Lion mit der Installationsanleitung installieren. Ich habe bereits GMP installiert. Das ist der Fehler, den ich bekommen:

$ 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 

Der Versuch, Idris ohne LLVM erzeugt diesen Fehler zu installieren:

$ 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

Der erste Fehler zeigt, sollten Sie die LLVM Entwicklungspakete Ihrer Distribution (nicht durch Kabalen) installieren und die zweite zeigt an, dass Sie das Entwicklungspaket für die Bibliothek GCC libffi installieren sollten. Welche Linux Distribution verwendest du? Oder bist du auf Windows/Mac?

Answer 2

Ich hatte das gleiche Problem auf OSX Mavericks. Um Idris zu kompilieren, ich Homebrew verwendet gmp zu installieren, dann musste ich 'export PKG_CONFIG_PATH =/usr/local/Keller/libffi/3.0.13/lib/pkgconfig' tun, und dann ‚Kabale installieren idris -f-LLVM ". Ich habe die Spitze der PKG_CONFIG_PATH Variable von dieser Seite zu exportieren:

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

Mavericks bereits libffi installiert hatte, und ich wollte nicht, eine zweite Kopie von der Quelle installieren, das ist, was der PKG_CONFIG_PATH Trick mir geholfen vermeiden. Gebrauche info libffi, um den richtigen Exportpfad zu finden. Hoffentlich wird jemand eine Homebrew-Formel für Idris erstellen bald ...