[Agda] cabal cannot install Agda 2.6.0
Pierre Lescanne
plescann at ens-lyon.fr
Mon Sep 2 09:45:05 CEST 2019
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/
---------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190902/6c7f7e7a/attachment.html>
More information about the Agda
mailing list