[Agda] install darcs version?

[Randy Pollack]

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

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.