[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Suppressing system-banner on startup

From: Matt Kaufmann
Subject: Re: [Gcl-devel] Suppressing system-banner on startup
Date: Tue, 10 Sep 2013 14:59:31 -0500

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 <address@hidden>
   Date: Tue, 10 Sep 2013 14:40:47 -0400

   Matt Kaufmann <address@hidden> 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 


   "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                                     address@hidden
   "The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]