[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