Waldek Hebisch <[EMAIL PROTECTED]> writes: > > Waldek Hebisch <[EMAIL PROTECTED]> writes:
> I just checked, and unfortunatly in wh-sandbox make distclean (and relatives > like make clean) are broken: they does not clean src subdirectory. So, I should do a fresh checkout? Or is there a simple way to clean it otherwise? > > * I did not make install gcl. But, in fact, looking at make's output, gcl > > seems to work, doesn't it? > > > > AFAICS you copied gcl source tree into wh-sandbox and make just build fresh > gcl from sources. yes. Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
