coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Problems compiling

From: Evgeny Makarov <emakarov AT gmail.com>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] Problems compiling
Date: Sun, 18 Nov 2007 14:34:12 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

An addition: if installing ncurses-devel does not help, try installing ncurses-static, which contains /usr/lib/libcurses.a. I don't have it installed, though.

Evgeny

[Coq-Club] Problems compiling, westand
- Re: [Coq-Club] Problems compiling, Edsko de Vries
- Re: [Coq-Club] Problems compiling, Evgeny Makarov
- Re: [Coq-Club] Problems compiling, Evgeny Makarov