[Agda] Install failure

Wolfram Kahl kahl at cas.mcmaster.ca
Wed Mar 23 14:36:02 CET 2011


On Tue, Mar 22, 2011 at 07:55:59PM +0000, Christoph Herrmann wrote:
> But for people which are not interested in many diverse Haskell
> tools and just want to get  Agda working it would probably be 
> best if the Agda installation be made independent from cabal.
> 

It is independent from the cabal executable,
which is commonly referred to as cabal-install.

You can just use the old

ghc --make Setup
./Setup configure <<your options>>
./Setup build
./Setup haddock
./Setup install

for each package you need, including ``Agda the library''
(in the Agda distribution top directory) and Agda-executable
(in src/main).

Each package will complain about missing dependencies,
which you can then retrieve from hackage and install in the same way.

For GHC-7.0.1, the following sequence of packages (in this order)
was sufficient for Agda (on Linux):

zlib-0.5.2.0
xhtml-3000.2.0.1
transformers-0.2.2.0
mtl-2.0.1.0
syb-0.2.2
cpphs-1.11
haskell-src-exts-1.9.6
QuickCheck-2.4.0.1
utf8-string-0.3.6
bytestring-0.9.1.7
binary-0.5.0.2
haskeline-0.6.3.2

(I haven't tried 7.0.2 yet.)


I am avoiding cabal-install mostly because, whenever I looked,
I found it not sufficiently documented so that I might have known
what it would do before trying --- too many unpredictable side-effects.


Wolfram


More information about the Agda mailing list