diff -Nru acl2-7.2dfsg/debian/changelog acl2-7.2dfsg/debian/changelog --- acl2-7.2dfsg/debian/changelog 2016-04-13 13:07:38.000000000 +0000 +++ acl2-7.2dfsg/debian/changelog 2016-05-03 15:01:24.000000000 +0000 @@ -1,3 +1,12 @@ +acl2 (7.2dfsg-2) unstable; urgency=medium + + * Bug fix: "FTBFS in kfreebsd-amd64", thanks to Andreas Beckmann + (Closes: #815312). Reduce GCL_MEM_MULTIPLE setting. + * Bug fix: "FTBFS in stretch (looks like the same problem in maxima)", + thanks to Santiago Vila (Closes: #819447). + + -- Camm Maguire Tue, 03 May 2016 15:05:07 +0000 + acl2 (7.2dfsg-1) unstable; urgency=medium * New upstream release diff -Nru acl2-7.2dfsg/debian/control acl2-7.2dfsg/debian/control --- acl2-7.2dfsg/debian/control 2016-04-13 13:07:47.000000000 +0000 +++ acl2-7.2dfsg/debian/control 2016-05-03 15:04:12.000000000 +0000 @@ -2,7 +2,7 @@ Section: math Priority: optional Maintainer: Camm Maguire -Build-Depends: gcl ( >= 2.6.12-31 ), libgmp3-dev, libreadline-dev, emacs24 | emacsen, debhelper ( >= 5 ), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo +Build-Depends: gcl ( >= 2.6.12-32), libgmp3-dev, libreadline-dev, emacs24 | emacsen, debhelper ( >= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo Standards-Version: 3.9.7 Package: acl2 diff -Nru acl2-7.2dfsg/debian/rules acl2-7.2dfsg/debian/rules --- acl2-7.2dfsg/debian/rules 2016-04-13 13:06:07.000000000 +0000 +++ acl2-7.2dfsg/debian/rules 2016-05-03 14:58:23.000000000 +0000 @@ -98,7 +98,10 @@ FINALDIR="/usr/share/$(PD)" \ HOME=$$(pwd) \ EXCLUDED_PREFIXES=centaur/tutorial/alu16-book \ - $(MAKE) -j $(NUMJOBS) -l 2.95 certify-books | tee $@ + GCL_MEM_MULTIPLE=0.5 \ + $(MAKE) -j $(NUMJOBS) -l 2.95 certify-books 2>&1 | tee $@ & j=$$! ; \ + while sleep 1800; do echo Tick; done & k=$$! ; \ + wait $$j ; kill $$k # >$@ 2>&1 & j=$$! ; \ # while sleep 1800; do echo Tick; done & k=$$! ; tail -f debian/test.log & l=$$! ; \ # wait $$j ; kill $$k $$l