[Agda] install darcs version?
Martin Escardo
m.escardo at cs.bham.ac.uk
Fri Apr 23 18:41:03 CEST 2010
This is the sort of problem I once had! (Then I gave up.) Martin
Randy Pollack wrote:
> Woe is me, the Agda development I'm interested in at the moment is
> said to require "the darcs version of Agda and of the standard
> library". (I tried it on version 2.2.6 as packaged for Ubuntu 10.4
> beta 2, but it doesn't work on that version.)
>
> At the bottom of Agda wiki page
> <http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.README-2-2-6>
> We find:
>
> ------------------------------------------------------------------------
> Installation scripts for Ubuntu 9.10
> ------------------------------------------------------------------------
>
> [...]
>
> Installs the development version:
>
> sudo apt-get install ghc6 happy alex darcs emacs haskell-mode zlib1g-dev make
> wget http://www.haskell.org/cabal/release/cabal-install-0.6.4/cabal-install-0.6.4.tar.gz
> tar xzf cabal-install-0.6.4.tar.gz
> cd cabal-install-0.6.4
> . bootstrap.sh
> cd ..
> $HOME/.cabal/bin/cabal update
> darcs get --lazy http://code.haskell.org/Agda
> cd Agda
> make CABAL_CMD="$HOME/.cabal/bin/cabal" install
>
> Using VirtualBox I created a virtual machine with a pristine load of
> Kubuntu 9.10.
>
> Following the script, I got through the line "cd cabal-install-0.6.4",
> apparently ok.
>
> the line ". bootstrap.sh" caused my shell window to crash. I don't
> know what that line means, but I took a guess and tried
> "sh ./bootstrap.sh". This produced the following
>
> Checking installed packages for ghc-6.10.4...
>
> The Haskell package 'network' is required but it is not installed.
> If you are using a ghc package provided by your operating system
> then install the corresponding packages for 'parsec' and 'network'.
> If you built ghc from source with only the core libraries then you
> should install these extra packages. You can get them from hackage.
>
> Error during cabal-install bootstrap:
> The Haskell package 'network' is required but it is not installed.
>
> The instructions didn't work, but I persevered: I found and installed
> the package libghc6-network-dev-2.2.1.4-1.
>
> Now when I try "sh ./bootstrap.sh" I get
>
> Checking installed packages for ghc-6.10.4...
> network is already installed and the version is ok.
> Cabal is already installed and the version is ok.
> HTTP-4000.0.4 will be downloaded and installed.
> zlib-0.5.0.0 will be downloaded and installed.
>
> Downloading HTTP-4000.0.4...
> --2010-04-23 17:28:54--
> http://hackage.haskell.org/packages/archive/HTTP/4000.0.4/HTTP-4000.0.4.tar.gz
> Resolving hackage.haskell.org... 69.30.63.204
> Connecting to hackage.haskell.org|69.30.63.204|:80... connected.
> HTTP request sent, awaiting response... 200 OK
> Length: 44063 (43K) [application/x-tar]
> Saving to: `HTTP-4000.0.4.tar.gz'
>
> 100%[====================================================================================================>] 44,063 48.3K/s in
> 0.9s
>
> 2010-04-23 17:28:55 (48.3 KB/s) - `HTTP-4000.0.4.tar.gz' saved [44063/44063]
>
> [1 of 1] Compiling Main ( Setup.lhs, Setup.o )
> Linking Setup ...
> Configuring HTTP-4000.0.4...
> Setup: At least the following dependencies are missing:
> mtl -any
>
> Error during cabal-install bootstrap:
> Configuring the HTTP package failed
>
> Now I'm lost; what next?
>
>
> BTW, I independently tried to install "the Haskell Platform" following
> instructions from
> <http://davidsiegel.org/haskell-platform-in-karmic-koala/> (which is
> pointed to by <http://hackage.haskell.org/platform/>). It didn't work
> for me, and you can see from comments on that web page that it didn't
> work for a lot of other people either.
>
> Randy
>
More information about the Agda
mailing list