[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