6
OSX Lionにofficial tutorialのインストールガイドを使用してIdris言語をインストールしようとしています。私はalraedy GMPをインストールしました。これは私が取得エラーです：LLVMなしイドリスをインストールしようとするとCabalがOSX LionにIdris言語をインストールできない
$ 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
はこのエラーを生成します。
$ 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
LLVM 3.3をインストールする必要があるように見えます。すでにインストールしている場合は、 'llvm-config'がPATHにあることを確認してください。 –
また、 'cabal install idris -f-LLVM'を試して、LLVMバックエンドなしでIdrisを構築してください。 –
@MikhailGlushenkov llvm-configが実行されます。 LLVMのバージョンがわからない。 'caban install idris -f-LLVM'は動作しますが、もう別の問題があります。 – MaiaVictor