gcl-devel
[Top][All Lists]
Advanced

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

[Gcl-devel] Re: GCL profiling with ACL2


From: Camm Maguire
Subject: [Gcl-devel] Re: GCL profiling with ACL2
Date: 22 Mar 2005 10:08:52 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!

Matt Kaufmann <address@hidden> writes:

> Thank you, Camm.  Since si::*system-directory* points to the same place as in
> the original GCL when we save ACL2 on top of GCL, I'll stop using -dir in the
> wrapper script.  Just curious:  In that case, the wrapper script will look 
> like
> this (for suitable <path>):
> 
> #!/bin/sh
> exec "<path>/linux-gcl-saved_acl2.gcl"
> 
> So, is there any reason at all to have a wrapper script?
> 

No, you shouldn't need the wrapper in this case.  You might want to
verify that the default si::*system-directory* will work for you, as
presumably it was changed for some reason originally, but I can't see
why. 

> Regarding this point:
> 
> 2) Always toggle the init_ name, and expand our currently crude
>    translation to ensure that we always come up with a valid C
>    identifier.  (Right now, we only translate - to _)
> 
> Would that solve David Hardin's problem, as follows?
> 

Yes.  If you'd like, I can post a simple patch achieving these three
points. 

>   P.S.  In building the distributed books for profiling, I found that 
>   having a file named @whatever.lisp (as in books/ihs/@logops.lisp) is a bad 
>   idea. 
>   In particular, the init function is given the name address@hidden(), 
>   which is not a legal C identifier.
> 
>   P.P.S.  A similar situation exists for the "near+" files found, for 
>   example, in books/rtl/rel4...
> 
> Thank you for the detailed email you sent earlier on profiling.  I hope to
> spend some time on that soon.
> 

Great!

Take care,

> Thanks --
> -- Matt
>    From: <address@hidden>
>    Cc: address@hidden, address@hidden
>    Date: Tue, 22 Mar 2005 04:19:41 -0600
>    X-MIMETrack: Serialize by Router on 
> CollinsCRSMTP02/CedarRapids/RockwellCollins(Release
>     6.5.3|September 14, 2004) at 03/22/2005 04:19:43 AM,
>          Serialize complete at 03/22/2005 04:19:43 AM
>    Content-Type: multipart/alternative; boundary="=_alternative 
> 0038BC2C86256FCC_="
>    X-SpamAssassin-Status: No, hits=-2.6 required=5.0
>    X-UTCS-Spam-Status: No, hits=-332 required=180
> 
>    This is a multipart message in MIME format.
>    --=_alternative 0038BC2C86256FCC_=
>    Content-Type: text/plain; charset="US-ASCII"
> 
>    > P.S.  In building the distributed books for profiling, I found that 
>    having a file named @whatever.lisp (as in books/ihs/@logops.lisp) is a bad 
>    idea. 
>    > In particular, the init function is given the name address@hidden(), 
>    which is not a legal C identifier.
> 
>    P.P.S.  A similar situation exists for the "near+" files found, for 
>    example, in books/rtl/rel4...
> 
> 
>    DSH
> 
>    --=_alternative 0038BC2C86256FCC_=
>    Content-Type: text/html; charset="US-ASCII"
> 
> 
>    <br><font size=2 face="sans-serif">&gt; P.S. &nbsp;In building the 
> distributed
>    books for profiling, I found that having a file named @whatever.lisp (as
>    in books/ihs/@logops.lisp) is a bad idea. &nbsp;</font>
>    <br><font size=2 face="sans-serif">&gt; In particular, the init function
>    is given the name address@hidden(), which is not a legal C 
> identifier.</font>
>    <br>
>    <br><font size=2 face="sans-serif">P.P.S. &nbsp;A similar situation exists
>    for the &quot;near+&quot; files found, for example, in 
> books/rtl/rel4...</font>
>    <br>
>    <br>
>    <br><font size=2 face="sans-serif">DSH</font>
>    <br>
>    --=_alternative 0038BC2C86256FCC_=--
> 
> 
> 

-- 
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]