[Agda] Can't build index.html in HoTT-Agda repository

[Andreas Abel]

[Continuing on the Agda list]

Mmh, looks like you have tinker with the version bound of ccphs in 
Agda.cabal.

Change

   cpphs  >=1.18.6 && <1.19

to something with a higher upper-bound, e.g.

   cpphs  >=1.19 && <1.20

or something more drastic.

Cheers,
Andreas

On 02.05.2015 16:02, Colin Adams wrote:
>     If you install Agda via cabal, it is e.g. in
>
>
> I didn't - that doesn't work:
>
> esolving dependencies...
> [1 of 1] Compiling Main             (
> /tmp/Agda-2.4.2.2-9387/Agda-2.4.2.2/Setup.hs,
> /tmp/Agda-2.4.2.2-9387/Agda-2.4.2.2/dist/setup/Main.o )
> Linking /tmp/Agda-2.4.2.2-9387/Agda-2.4.2.2/dist/setup/setup ...
> Configuring Agda-2.4.2.2...
> setup: The program cpphs version >=1.18.6 && <1.19 is required but the
> version
> found at /home/colin/.cabal/bin/cpphs is version 1.19
> Failed to install Agda-2.4.2.2
> cabal: Error: some packages failed to install:
> Agda-2.4.2.2 failed during the configure step. The exception was:
> ExitFailure 1


-- 
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/