Not that anybody is likely to be bitten by this problem except me, but
for completeness sake this is the story: I had written a build-script
that unpacked the sage tarball and then did this:
cd //root/of/the/new/sage/release ; make install
This consistently failed: for some strange reason polybori didn't
install its header files! After a few dozen futile attempts to debug the
scons build-script I tried this instead:
cd /root/of/the/new/sage/release ; make install
And this works, of course...
I had already learned earlier (see ticket #14018) that two slashes at
the beginning of a path can have special meaning, so I suppose I somehow
deserve the trouble I got...
--
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.