[Agda] install trouble

Pierre Hyvernat pierre.hyvernat at univ-savoie.fr
Mon Feb 16 13:47:17 CET 2009


>> I then tried to install it on my older desktop computer (debian, ix86),
>> but there were some broken dependencies for agda-mode.
> Can you give details?
>
It involved the dependency
 agda-mode -- libghc6-agda-dev -- libghc6-binary-dev


However, it was only aptitude's default solution that went wrong.

It is indeed possible to install it by selecting another solution to
solve conflicts...





>>> If you decide to install manually, then I suggest that you use
>>> cabal-install,
>
>> It might be a good idea to add that in the README file.
>
> Can you first verify that the installation script I gave you works?
>
Yes...
This is a little magical, but it works.
(One need to install a couple of Debian packages first, but this is
detailed in the README file.)

BTW, is it possible to change the default cabal directory? (~/.cabal/)




>> (Concerning installation: is the Makefile of any real use?)
>
> Using the Makefile is not the recommended way to build Agda; I don't
> know if it works.
>
So, it might be good to "darcs remove" it. It is slightly confusing...




Pierre
-- 
About the use of language: it is impossible to sharpen
a pencil with a blunt axe.  It is equally vain to try
to do it with ten blunt axes instead.
    -- E. Dijkstra


More information about the Agda mailing list