Package: acl2
Version: 7.1dfsg-2
Tags: patch
Dear maintainer: I was going to report a FTBFS bug against this package,
but the build log does not help at all to determine what went wrong.
The debian/rules file seems to hide deliberately the output of the tests.
This is normally undesirable and it is customary not to do that.
If you are worried about large build logs, that would be a small price
to pay for the ability to debug problems when things go wrong, which
I believe is way more important.
Suggested patch (untested) attached.
Thanks.
--- a/debian/rules
+++ b/debian/rules
@@ -98,16 +98,7 @@ debian/test.log: saved_acl2.c
FINALDIR="/usr/share/$(PD)" \
HOME=$$(pwd) \
EXCLUDED_PREFIXES=centaur/tutorial/alu16-book \
- $(MAKE) -j $(NUMJOBS) -l 2.95 certify-books >$@ 2>&1 & j=$$! ; \
- while sleep 1800; do echo Tick; done & k=$$! ; tail -f debian/test.log
& l=$$! ; \
- wait $$j ; kill $$k $$l
- [ -f $@ ] && ! fgrep '**' $@ || (echo FULL TEST FAILS ;\
- for i in $$(find books -name "*.out"); do \
- if ! [ -e $${i%out}cert ] ; then \
- echo $$i ; \
- cat $$i ; \
- fi ; \
- done)
+ $(MAKE) -j $(NUMJOBS) -l 2.95 certify-books 2>&1 | tee $@
mv saved_acl2.ori saved_acl2
[ -f $@ ] && ( ! fgrep '**' $@ || \
gcl -batch -eval "(bye #-native-reloc 0 #+native-reloc (let ((w
(multiple-value-bind (a b c d) (si::heap-report) (/ (- d c) (/ a 8))))) (format
t \"certification run with ~s heap words~%\" w) (if (< w 500000000) 0 1)))")
