[Agda] install trouble

[Anton Setzer]

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

I support this idea. The use of cabal was a big hurdle for me to install
Agda for a long time, till I finally learned how to use cabal.

Anton
>
> 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
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda


-- 
---------------------------------------
Anton Setzer
Department of Computer Science
Swansea University
Singleton Park
Swansea SA2 8PP
UK

Telephone:
(national)        (01792) 513368
(international) +44 1792  513368
Fax:
(national)        (01792) 295708
(international) +44 1792  295708
Visiting address:
Faraday Building,
Computer Science Dept.
2nd floor, room 211.
Email: a.g.setzer at swan.ac.uk
WWW:
http://www.cs.swan.ac.uk/~csetzer/
---------------------------------------