Re: acl2_2.9.1-1
Greetings! And thanks again for looking into this! GCL is the lisp
which builds acl2 -- its listed there in the build-depends, no?
Surely no other platform could autobuild otherwise?
Take care,
Adam C Powell IV <hazelsct@debian.org> writes:
> D'oh! FTBFS: at the start of debian/rules build I get
>
> rm -f TAGS
> rm -f workxxx
> echo '(load "init.lsp")' > workxxx
> echo '(acl2::make-tags)' >> workxxx
> echo '(acl2::exit-lisp)' >> workxxx
> gcl < workxxx
> /bin/sh: gcl: command not found
> make[1]: *** [TAGS] Error 127
>
> What's gcl? Incomplete build-depends?
>
> On Mon, 2005-04-25 at 16:24 -0400, Adam C Powell IV wrote:
> > I'll take care of it on ARM.
> >
> > On Mon, 2005-04-25 at 12:02 -0400, Camm Maguire wrote:
> > > Greetings! Please excuse the long cc list, but I've written about
> > > this several times already over the past few months with no response.
> > > The arm buildd is stuck in the 'building' state of acl2, and the sparc
> > > buildd has not uploaded the successfully built acl2. This situation
> > > has persisted since shortly after the last upload on 2/22/05. I would
> > > like 2.9.1-1 to propagate into testing before uploading 2.9.2-1, which
> > > is now ready, due to the long build time on slower machines. Please
> > > advise ASAP -- I'll hold the upload of 2.9.2 for a couple of days.
>
> -Adam
> --
> GPG fingerprint: D54D 1AEE B11C CE9B A02B C5DD 526F 01E8 564E E4B6
>
> Welcome to the best software in the world today cafe!
> http://www.take6.com/albums/greatesthits.html
>
>
--
Camm Maguire camm@enhanced.com
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
Reply to: