[Agda] text-icu-0.7.0.1
Andreas Abel
abela at chalmers.se
Wed Feb 15 11:04:40 CET 2017
See
https://github.com/agda/agda/issues/2449
for hints (collection open) how to install the missing library and for
discussion of the new dependency.
On 15.02.2017 10:56, Jesper Cockx wrote:
> Hello,
>
> I noticed the same thing a few days ago: Agda started complaining about
> missing C libraries. I managed to get the new libraries by installing
> the icu-devtools package, but I also wonder why this new dependency was
> added.
>
> -- Jesper
>
> On Wed, Feb 15, 2017 at 10:43 AM, Sergei Meshveliani <mechvel at botik.ru
> <mailto:mechvel at botik.ru>> wrote:
>
> Dear Agda developers,
>
> I am trying to install Development Agda of February 15, 2017
> on ghc-7.10.2, Debian Linux.
>
> > cabal update
> > cabal install
>
> reports
>
> -------------------------------------
> ...
> Installed equivalence-0.3.2
> ...
> Agda-2.6.0 depends on text-icu-0.7.0.1 which failed to install.
> text-icu-0.7.0.1 failed during the configure step.
> -------------------------------------
>
> This version needs more libraries than 2.5.2.
>
> Please, what is a regular way (in my situation) to get the needed C
> libraries (probably, icuuc, icui18n, icudata listed in the report)
> ?
>
> Thanks,
>
> ------
> Sergei
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se <mailto:Agda at lists.chalmers.se>
> https://lists.chalmers.se/mailman/listinfo/agda
> <https://lists.chalmers.se/mailman/listinfo/agda>
>
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/
More information about the Agda
mailing list