[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