[Agda] Re: ANNOUNCE: Agda 2.4.2.3 release candidate
Andreas Abel
abela at chalmers.se
Wed May 20 09:23:44 CEST 2015
On 19.05.2015 17:13, Andrés Sicard-Ramírez wrote:
> On 18 May 2015 at 22:56, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
>> This RC can be installed using the following instructions:
>>
>> $ tar xzf 2.4.2.2.20150518.tar.gz
>> $ cd Agda-2.4.2.2.20150518.tar.gz
>> $ cabal install
>
> The right instructions are:
>
> $ tar xzf agda-2.4.2.2.20150518.tar.gz
> $ cd agda-2.4.2.2.20150518.tar.gz
> $ cabal install
>
Thanks for the RC!
Probably the following will work more reliably(?)
cabal update
cabal install cpphs
cabal install alex
cabal install happy
tar xzf agda-2.4.2.2.20150518.tar.gz
cd agda-2.4.2.2.20150518
cabal install
Cheers,
Andreas
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list