[Top][All Lists]

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

Re: [Gcl-devel] Re: GCL profiling with ACL2

From: Camm Maguire
Subject: Re: [Gcl-devel] Re: GCL profiling with ACL2
Date: 05 May 2005 22:03:45 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!  GCL carries around its own modules in libgcl.a for use in
compiler::link and the like.  Using an absolute pathname for these
modules makes no sense, as they will be extracted from the archive in
the current directory.  I propose reserving the designator "gcl_" at
the start of the pathname-name to indicate that truename init-names
are not to be used.  The rest of the namespace would belong to the
user and write the full pathname of the source in the initname.
I.e. this will fail if the user has two files identically named
gcl_.... at two distinct locations in their source tree.  Does this
sound acceptable?

Take care,

<address@hidden> writes:

> Camm Maguire <address@hidden> wrote:
> > > 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...
> > >
> Camm,
> As you're going about this work, keep in mind that files in different ACL2 
> books can have the same simple
> name, e.g. top.lisp occurs in several of the distributed ACL2 books.  I have 
> been bitten by this one today in
> my attempts to perform a COMPILER::LINK made up of multiple books from many 
> directories.
> Thanks again for trying to simplify this whole area for users -- I think it 
> will pay dividends in the long
> term.
> David Hardin
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/gcl-devel

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]