<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Installing program alex and then program happy, it works.<br>
</p>
<div class="moz-cite-prefix">Le 02/09/2019 à 09:45, Pierre Lescanne
a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:dcc617f4-dfb7-048f-a14f-2adf83ce56b5@ens-lyon.fr">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<p>I failed also to install Agda 2.6.0 using cabal because a file
necessary in the installation is missing, namely <i>alex</i>.
Here is the message that I got: <br>
</p>
<blockquote> <i>setup: The program 'alex' version >=3.1.0
&& <3.2.0 || ==3.2.1 || >=3.2.3 is</i><br>
<i> </i><i>required but it could not be found.</i><br>
<i> </i><i>cabal: Leaving directory
'/tmp/cabal-tmp-15469/Agda-2.6.0.1'</i><br>
<i> </i><i>cabal: Error: some packages failed to install:</i><br>
<i> </i><i>Agda-2.6.0.1 failed during the configure step. The
exception was:</i><br>
<i> </i><i>ExitFailure 1</i><br>
</blockquote>
<pre class="moz-signature" cols="72">--
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
<a class="moz-txt-link-freetext" href="http://perso.ens-lyon.fr/pierre.lescanne/" moz-do-not-send="true">http://perso.ens-lyon.fr/pierre.lescanne/</a>
---------------------------
</pre>
</blockquote>
<pre class="moz-signature" cols="72">--
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
<a class="moz-txt-link-freetext" href="http://perso.ens-lyon.fr/pierre.lescanne/">http://perso.ens-lyon.fr/pierre.lescanne/</a>
---------------------------
</pre>
</body>
</html>