Package: acl2 Version: 3.6-2 Severity: important User: debian-...@lists.debian.org Usertags: kfreebsd
Hi, your package FTBFS on kfreebsd-i386, while it built successfully on kfreebsd-amd64: | ****************************************************************************** | Initialization complete, beginning the check and save. | ****************************************************************************** | Loading akcl-acl2-trace.lisp | Warning: TRACE is being redefined. | Warning: UNTRACE is being redefined. | Finished loading akcl-acl2-trace.lisp | Generating and evaluating proclaim forms for ACL2 source files. | [GC for 58 FIXNUM pages..(T=6).GC finished] | [GC for 2391 CONTIGUOUS-BLOCKS pages..(T=5).GC finished] | | /bin/sh: line 1: 42209 Segmentation fault gcl < workxxx | make[1]: *** [init] Error 139 | "Executing (si::sgc-on t)"make[1]: Leaving directory `/build/buildd-acl2_3.6-2-kfreebsd-i386-vv9V4v/acl2-3.6' | make: *** [saved_acl2] Error 2 | dpkg-buildpackage: error: debian/rules build gave error exit status 2 Full build logs at the usual place: https://buildd.debian.org/status/package.php?suite=unstable&p=acl2 Mraw, KiBi. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
