[Top][All Lists]
[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">> 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. </font>
> <br><font size=2 face="sans-serif">> 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. A similar situation exists
> for the "near+" 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