The Coq mailing list

[Edsko de Vries <devriese AT cs.tcd.ie>]

On Sat, Nov 17, 2007 at 08:40:02AM -0800, westand wrote:
> 
> I am trying to compile Coq 8.1. I run "./configure" and then "make world."
> The latter runs for about 15 minutes and then stumbles on the line:
> 
> "COQMKTOP -o bin/coqtop.byte
> /usr/bin/ld: cannot find -lcurses
> collect2: ld returned 1 exit status
> Error while building custom runtime system
> make: *** [bin/coqtop.byte] Error 2"
> 
> The "bin" directory does exist and I've gone inside the CONFIG file and
> changed tried compiling with "best_compiler" set to "opt" and "byte"
> with the same result. Any suggestions? Thanks,

It seems like your missing the ncurses library?

Edsko