The Coq mailing list

[<drg AT illinois.edu>]

Using the latest version of coq on the trunk, and building a library after
building and installing another, I get this error message:

$ coqc  -q  -R . Ktheory   Utilities
File "./NKtheory_Utilities.native", line 39, characters 34-110:
Error: Unbound module NFoundations_Generalities_uu0
Error: Could not compile the library to native code. Skipping.

I suspect the makefile made by coq_makefile isn't making the files *.native
properly available.  If so, where should I put them?