The Coq mailing list

[Bill Richter <richter AT math.northwestern.edu>]

Thanks, Jason.  It's supposed to get down to -45 degrees windchill here in 
Chicago, so it will take me a while to get most of your data.

   I suspect something went wrong in your ./configure process, so
   seeing the output of that might help diagnose the error.

That must be it.  The real problem is that machine that make failed on is 
woefully defficient in libraries. 

   Also, is this coq-8.4pl3.tar.gz exactly as downloaded from the website

Yes.

   did you try to apply Vladimir's patches (necessary for his
   foundations library)?

No.

-- 
Best,
Bill