[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