cabal-install をインストールしようとしていみた
Agda をインストールしようとしてみた.
それにはcabal が必要らしい.
sudo port hs-cabal だと 10.6.X だとghc をインストールしようともしないので,
ソースから.Cabal は cabal-install に必要らしいので.cabal-installを入れてみる.
cabal-install
$ tar zxf cabal-install-0.6.2.tar.gz $ cd cabal-install-0.6.2 $ ./bootstrap.sh $ echo 'export PATH=${PATH}:$HOME/.cabal/bin' >> ~/.zshrc $ cabal --version cabal-install version 0.6.2 using version 1.6.0.3 of the Cabal library $ cabal update Downloading the latest package list from hackage.haskell.org cabal: user error (Codec.Compression.Zlib: incompatible version)
ふーむ.zlib でおこられました.
道は遠い.
参考