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

N. Raghavendra raghu at hri.res.in
Sat May 2 20:15:05 CEST 2015


At 2015-05-02T18:12:42+01:00, Colin Adams wrote:

> 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

I found it best to install the current version (2014.2.0.0) of Haskell
Platform first.  Then, when I tried to install Agda, it aborted with a
complaint about the version of cpphs, so I had to do

cabal install 'cpphs < 1.19'

After that,

cabal install

in the Agda source directory worked as expected.  (Alex in HP is at
version 3.1.3, which is acceptable to Agda.cabal.)

Cheers,
Raghu.

--
N. Raghavendra <raghu at hri.res.in>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/



More information about the Agda mailing list