Hi, Camm -- I had started to develop something rather like that, but stalled out because I wanted a solution that works for all versions of GCL. But I'm glad you asked, because it triggered a memory that I can use GCL version numbers to control what happens. So, I now have a solution. So, whatever you decide is best for -f will be fine with me (as I don't plan to use it).
That said, my solution is in the devlopment (svn) copy of ACL2. When I build ACL2 6.2 with GCL 2.6.9, it doesn't print the banner until the first time ACL2's read-eval-print loop is exited. That's odd, but it's not really a big deal. If you care, I could send you a patch for ACL2 6.2. Thanks -- -- Matt From: Camm Maguire <c...@maguirefamily.org> Date: Tue, 10 Sep 2013 14:40:47 -0400 Matt Kaufmann <kaufm...@cs.utexas.edu> writes: > What I'd really like, though, is a way to suppress the banner. ACL2 Greetings! How about this? gcl -eval "(progn (defvar *my-system-banner* si::*system-banner*)(makunbound 'si::*system-banner*))" >*my-system-banner* "GCL (GNU Common Lisp) 2.6.9 CLtL1 Aug 28 2013 17:00:47 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. " > Take care, -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org https://lists.gnu.org/mailman/listinfo/gcl-devel
