[Agda] cabal cannot install Agda 2.6.0

[Pierre Lescanne]

Installing program alex and then program happy, it  works.

Le 02/09/2019 à 09:45, Pierre Lescanne a écrit :
>
> I failed also to install Agda 2.6.0 using cabal because a file 
> necessary in the installation is missing, namely /alex/. Here is the 
> message that I got:
>
>     /setup: The program 'alex' version >=3.1.0 && <3.2.0 || ==3.2.1 ||
>     >=3.2.3 is/
>     ///required but it could not be found./
>     ///cabal: Leaving directory '/tmp/cabal-tmp-15469/Agda-2.6.0.1'/
>     ///cabal: Error: some packages failed to install:/
>     ///Agda-2.6.0.1 failed during the configure step. The exception was:/
>     ///ExitFailure 1/
>
> -- 
> Cheers
>
>
> ---------------------------
> Pierre Lescanne (Professeur émérite)
> LIP / ENS de Lyon
> 46 allée d'Italie
> 69364 LYON Cedex 07, France
> tél: +33 6 85 70 94 31
> http://perso.ens-lyon.fr/pierre.lescanne/
> ---------------------------

-- 
Cordialement


---------------------------
Pierre Lescanne (Professeur émérite)
LIP / ENS de Lyon
46 allée d'Italie
69364 LYON Cedex 07, France
tél: +33 6 85 70 94 31
http://perso.ens-lyon.fr/pierre.lescanne/
---------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190902/181cdda7/attachment.html>