my test results
lenny's version in lenny: (though I got a different error: "FATAL ERROR:
ACL2 does not yet support GCL ANSI. Please use a non-ANSI GCL."
sid's version in lenny: FTBFS with Compile FAILED: file acl2-status.txt
is missing.
lenny's version in sid: FTBFS with Initialization FAILED:
acl2-status.txt should contain :INITIALIZED.
sid's version in sid: builds fine
note: when asked whether I wanted to "Use the work-in-progress ansi
build by default?" and whether I wanted to "Use the profiling build by
default?" in my lenny chroot I picked the default answer in both cases
which was yes. I was not asked those questions in my sid chroot, I dunno
if this means the questions were removed or that I answered them at some
time in the past.
I don't have a clue what to make of theese results other than getting
the impression that something really weired is happening
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
