[Gcl-devel] Re: debian acl2

[Camm Maguire]

Greetings!  We don't yet have a maintainer for a native port to Mac
OS/X, but I understand they have something called 'Fink', which is
basically a port of the Debian ppc distribution to Mac OS/X.  If this
is true, then all Debian packages, including gcl, gcl/maxima, and
gcl/acl2 should be available.

Take care,

"Ruben Gamboa" <address@hidden> writes:

> Wonderful!  Incidentally, is one of the 11 architectures Mac with OS/X?
> I'm terribly tempted to dump my laptop for a powerbook :-)
> 
> Thanks,
> Rg
> 
> -----Original Message-----
> From: Camm Maguire [mailto:address@hidden 
> Sent: Saturday, October 26, 2002 2:37 PM
> To: Ruben Gamboa
> Cc: address@hidden
> Subject: Re: debian acl2
> 
> 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
> 
> 
> 

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