In general I used to "copy back" the database from a successful build into the seed databases. I haven't implemented that machinery yet. If this turns out to fix the problem that Bill has found then we need to modify the makefiles to take this step. Fixed in Fricas --kratt6, Sat, 19 Jan 2008 05:15:27 -0800 reply Status: open => fix proposed
Status: fix proposed => fixed somewhere
Fixed in OpenAxiom too.
Status: fixed somewhere => closed
|