<div dir="ltr">Something even more drastic would be required, as after that change:<div><br></div><div><div>[colin@localhost Agda-2.4.2.2]$ cabal install</div><div>Resolving dependencies...</div><div>[1 of 1] Compiling Main ( Setup.hs, dist/setup/Main.o )</div><div>Linking ./dist/setup/setup ...</div><div>Configuring Agda-2.4.2.2...</div><div>setup: The program alex version >=3.1.0 && <3.2 is required but the version</div><div>found at /usr/bin/alex is version 3.0.5</div><div>Failed to install Agda-2.4.2.2</div><div>cabal: Error: some packages failed to install:</div><div>Agda-2.4.2.2 failed during the configure step. The exception was:</div><div>ExitFailure 1</div></div><div><br></div><div><br></div><div>But after cabal install alex</div><div>and cabal install happy, I was able to install Agda 2.4.2. </div><div><br></div><div>This solves my original problem. So clearly Hott-Agda has a dependency on the Agda version somewhat > 2.3.2.</div><div><br></div><div>Thanks.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On 2 May 2015 at 17:55, Andreas Abel <span dir="ltr"><<a href="mailto:abela@chalmers.se" target="_blank">abela@chalmers.se</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">[Continuing on the Agda list]<br>
<br>
Mmh, looks like you have tinker with the version bound of ccphs in Agda.cabal.<br>
<br>
Change<br>
<br>
cpphs >=1.18.6 && <1.19<br>
<br>
to something with a higher upper-bound, e.g.<br>
<br>
cpphs >=1.19 && <1.20<br>
<br>
or something more drastic.<br>
<br>
Cheers,<br>
Andreas<span class="im HOEnZb"><br>
<br>
On 02.05.2015 16:02, Colin Adams wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
If you install Agda via cabal, it is e.g. in<br>
<br>
<br>
I didn't - that doesn't work:<br>
<br>
esolving dependencies...<br>
[1 of 1] Compiling Main (<br>
/tmp/Agda-2.4.2.2-9387/Agda-2.4.2.2/Setup.hs,<br>
/tmp/Agda-2.4.2.2-9387/Agda-2.4.2.2/dist/setup/Main.o )<br>
Linking /tmp/Agda-2.4.2.2-9387/Agda-2.4.2.2/dist/setup/setup ...<br>
Configuring Agda-2.4.2.2...<br>
setup: The program cpphs version >=1.18.6 && <1.19 is required but the<br>
version<br>
found at /home/colin/.cabal/bin/cpphs is version 1.19<br>
Failed to install Agda-2.4.2.2<br>
cabal: Error: some packages failed to install:<br>
Agda-2.4.2.2 failed during the configure step. The exception was:<br>
ExitFailure 1<br>
</blockquote>
<br>
<br></span><div class="HOEnZb"><div class="h5">
-- <br>
Andreas Abel <>< Du bist der geliebte Mensch.<br>
<br>
Department of Computer Science and Engineering<br>
Chalmers and Gothenburg University, Sweden<br>
<br>
<a href="mailto:andreas.abel@gu.se" target="_blank">andreas.abel@gu.se</a><br>
<a href="http://www2.tcs.ifi.lmu.de/~abel/" target="_blank">http://www2.tcs.ifi.lmu.de/~abel/</a><br>
</div></div></blockquote></div><br></div>