[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: debian acl2
[Gcl-devel] Re: debian acl2
26 Oct 2002 16:36:47 -0400
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(!).
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
> 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
> > you guys might be knowledgeable and interested, so I forward the email
> > (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
> > 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>
> > 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
> > target for that if you like. Also, without the workshop books the suite
> > about an hour and a half on a fast machine. I could certainly create
> > between those extremes; just tell me how much time you'd like the suite to
> > 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
> > can download the tar file and untar it in the appropriate directory. Note
> > 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
> > 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." --
> > Thanks --
> > -- Matt
Camm Maguire address@hidden
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- [Gcl-devel] Re: debian acl2,
Camm Maguire <=