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

[Colin Adams]

Something even more drastic would be required, as after that change:

[colin at localhost Agda-2.4.2.2]$ cabal install
Resolving dependencies...
[1 of 1] Compiling Main             ( Setup.hs, dist/setup/Main.o )
Linking ./dist/setup/setup ...
Configuring Agda-2.4.2.2...
setup: The program alex version >=3.1.0 && <3.2 is required but the version
found at /usr/bin/alex is version 3.0.5
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


But after cabal install alex
and cabal install happy, I was able to install Agda 2.4.2.

This solves my original problem. So clearly Hott-Agda has a dependency on
the Agda version somewhat > 2.3.2.

Thanks.

On 2 May 2015 at 17:55, Andreas Abel <abela at chalmers.se> wrote:

> [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/
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150502/8c25045b/attachment.html