[Gcl-devel] Re: debian acl2

[Camm Maguire]

Greetings!  I'm so sorry for my delay in replying.  In short, yes I am
still interested.  Here is my proposal -- as it takes quite a while to
become a Debian maintainer, I've taken the liberty of making an
initial Debian Acl2 package.  I've just uploaded it, so it will take a
few days to get accepted into the archive.  I would be most
appreciative if you could try it out and comment on improvements.  If
at some point you do become registered a a Debian developer, then you
can handle future modifications yourself -- until then, I'll try to
implement your suggestions.  I just think it would be best if someone
who is thoroughly familiar with using the program is closely connected
with the maintenance of the package.

In any case, in a few days time we will (hopefully) have Acl2 binaries
on 11 architectures(!).

Take care,

Ruben Gamboa <address@hidden> writes:

> Camm, I got this note from Matt Kaufmann a while back, and I ran into
> again as I am cleaning up my INBOX.  
> 
> Are you still interested in having a Debian ACL2 package maintainer?
> I use a ms windows laptop, with redhat running under vmware.  I could
> build a (minimal?) debian virtual machine for this, if you still need
> someone to do it.  I'd like to help, if for no other reason than I
> want to support you in maintaining GCl (for which I'm extremely
> grateful).
> 
> Cheers,
> Ruben
> 
> Matt Kaufmann writes:
>  > Hi, Ruben and Dave --
>  > 
>  > Any interest in being a Debian developer or having something to do with
>  > maintaining ACL2 under Debian?  I'm extremely ignorant about such things 
> but
>  > you guys might be knowledgeable and interested, so I forward the email 
> below
>  > (see especially #4) in case that's true.  You can ignore the comments I
>  > inserted if you like, but I figured I might as well include them.  By the 
> way,
>  > address@hidden is Camm Maguire, the maintainer of GCL since Bill Schelter
>  > died.
>  > 
>  > -- Matt
>  > >From kaufmann Sun Aug 25 14:30:57 -0500 2002
>  > From: Matt Kaufmann <address@hidden>
>  > To: address@hidden
>  > CC: address@hidden, address@hidden
>  > In-reply-to: <address@hidden> (message from Camm Maguire
>  >    on 23 Aug 2002 11:23:06 -0400)
>  > Subject: Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0
>  > References: <address@hidden> <address@hidden> <address@hidden> 
> <address@hidden>
>  > 
>  > Hi --
>  > 
>  > Thanks for your reply.  Comments are interspersed below.
>  > 
>  >    Cc: address@hidden, address@hidden
>  >    From: Camm Maguire <address@hidden>
>  >    Date: 23 Aug 2002 11:23:06 -0400
>  > 
>  >    Greetings!  I've had opportunity to build the acl2 sources using gcl,
>  >    and did the regression test after downloading the additional
>  >    workbooks.  
>  > 
>  > Great!
>  > 
>  >    1) I could package this for Debian pretty easily.  It would of course
>  >       provide another integrity test for gcl.  And it would at one time
>  >       make binaries of acl2 available for 10 architectures. But would
>  >       such a package prove useful to anyone, i.e. an end user?  Is this
>  >       just of theoretical interest?
>  > 
>  > I can certainly imagine ACL2 users benefiting from such a package.  I'm not
>  > very familiar with such issues, but presumably the idea is that any user of
>  > ACL2 on top of Debian would benefit.
>  > 
>  >    2) If it were packaged, I'd want to put an integrity test in to verify
>  >       the build, but it shouldn't be arbitrarily long, especially as
>  >       Debian runs on some very slow machines.  I'd appreciate a good
>  >       suggestion. 
>  > 
>  > We have a simple test that only takes a few seconds.  I could add a 
> Makefile
>  > target for that if you like.  Also, without the workshop books the suite 
> takes
>  > about an hour and a half on a fast machine.  I could certainly create 
> something
>  > between those extremes; just tell me how much time you'd like the suite to 
> take
>  > on a pretty fast machine.
>  > 
>  >    3) I take it the additional workbooks should be distributed as well? 
>  > 
>  > I don't think that's necessary.  Presumably those who want the workshop 
> books
>  > can download the tar file and untar it in the appropriate directory.  Note 
> by
>  > the way that the distribution should not include the files created by the
>  > tests; those include generated .cert files with absolute pathnames.
>  > 
>  >    4) Since it appears that the people at U Texas use Debian, one
>  >       scenario might be for me to upload the package if it is useful, and
>  >       for some more knowledgeable person (i.e. someone who works with it
>  >       regularly) to maintain it.  Such a person could apply to be a
>  >       Debian developer, or just field bug reports as they come in with me
>  >       overseeing the uploads.  Any thoughts?
>  > 
>  > Neither of us (myself or J Moore) have time ourselves.  I'll send some 
> queries
>  > and I (or someone) will let you know if we have any takers.
>  > 
>  >    Take care,
>  >    -- 
>  >    Camm Maguire                                            address@hidden
>  >    
> ==========================================================================
>  >    "The earth is but one country, and mankind its citizens."  --  
> Baha'u'llah
>  > 
>  > Thanks --
>  > -- Matt
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah