[Agda] install trouble

[Aarne Ranta]

In the GF project we use Makefile entries to call cabal. This is  
helpful for people not yet versed in cabal (me included...)

   Aarne.

On Feb 16, 2009, at 2:00 PM, Nils Anders Danielsson wrote:

> On 2009-02-16 12:47, Pierre Hyvernat wrote:
>
>> BTW, is it possible to change the default cabal directory?  
>> (~/.cabal/)
>
> It is possible to change the directory Cabal uses to install stuff
> (using --prefix).
>
>>>> (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...
>
> The Makefile is used to test Agda: make test.
>
> -- 
> /NAD
>
> This message has been checked for viruses but the contents of an  
> attachment
> may still contain software viruses, which could damage your computer  
> system:
> you are advised to perform your own checks. Email communications  
> with the
> University of Nottingham may be monitored as permitted by UK  
> legislation.
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda