The Coq mailing list

[westand <westand AT seas.upenn.edu>]

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,
-- 
View this message in context: 
http://www.nabble.com/Problems-compiling-tf4827102.html#a13810804
Sent from the Coq mailing list archive at Nabble.com.