Oh yes, there it is. That's odd, dpkg-buildpackage didn't catch that it was missing (along with several other build-depends), I generally count on it to do so...
Okay, build in progress. -ACP On Mon, 2005-04-25 at 18:24 -0400, Camm Maguire wrote: > 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 <[EMAIL PROTECTED]> 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 > > > > > -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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
