Hi Camm,
I am very glad to hear about plans to release 2.6.8! :-)
There is one thing that I would love to have definite guarantee for:
| Greetings, and thanks for the update! I believe this change has been
| reverted already. Please let me know if I've overlooked something.
|
| Just a heads
Greetings, and thanks for the update! I believe this change has been
reverted already. Please let me know if I've overlooked something.
Just a heads up -- acl2 has outgrown the default 1G maxpage heap, but
the machines we support cannot handle a doubling. My plan is to release
2.6.8 as is, and
I built the latest 2.6.8pre from CVS a few days ago for Fedora
Rawhide. Now it is segfaulting while building maxima:
gcl -batch -eval '(progn (load "../lisp-utils/defsystem.lisp")
(funcall (intern (symbol-name :operate-on-system) :mk) "maxima" :load
:verbose t) (when (fboundp (quote si::sgc-on))
