[Top][All Lists]

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

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

From: dshardin
Subject: Re: [Gcl-devel] Re: GCL profiling with ACL2
Date: Fri, 6 May 2005 13:09:35 -0500

Camm Maguire <address@hidden> wrote:

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


The general idea sounds OK to me -- I don't see any files so named in our code base, nor in the ACL2 2.9.2 distribution.


David Hardin

reply via email to

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