Okay, I think that I figured out the problem. I built Sage from scratch to upgrade our notebook server, and find a whole slew of packages that never built! But there are no error messages I can find - just no log files. In particular, I can't find any jmol - or indeed cddlib or some other stuff. But that would explain my initial problem.
How could that happen? I believe there is an error in our build scripts. If the build is interrupted (as was the case here) and/or you can't write to HOME/.sage, bad things will happen without errors. I had reissued make and the build completed, including building documentation! Or so it said, anyway. It never noticed the missing packages. Bizarrely, doing "sudo make" so it could write to my local folder FIRST rebuilt the documentation (quick because no changes) and THEN just now started building cddlib, gfan, cvxopt, and a host of other stuff. I will repeat that there were no relevant error messages in the log files. I am 90% certain that my problem will be solved by the time all these packages finish building, but I wanted to bring this up because perhaps others will be building Sage remotely and not use/not remember how to use/not know how to use things like screen and nohup. At the very least make should figure out that these packages aren't built! - kcrisman -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.