[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