Ubuntu
acl2 package

[ppc64el] FTBFS

Bug #1293125 reported by dino99
8
This bug affects 1 person
Affects Status Importance Assigned to Milestone
acl2 (Ubuntu)
Fix Released
Undecided
Unassigned

Bug Description

Errors shown while rebuilding package:
https://launchpad.net/ubuntu/+source/acl2/6.3-5/+build/5136552
https://launchpadlibrarian.net/154525479/buildlog_ubuntu-trusty-arm64.acl2_6.3-5_MANUALDEPWAIT.txt.gz

https://launchpad.net/ubuntu/+source/acl2/6.3-5/+build/5596289
https://launchpadlibrarian.net/167177456/buildlog_ubuntu-trusty-ppc64el.acl2_6.3-5_MANUALDEPWAIT.txt.gz

ProblemType: Bug
DistroRelease: Ubuntu 14.04
Package: acl2 (not installed)
ProcVersionSignature: Ubuntu 3.13.0-17.37-generic 3.13.6
Uname: Linux 3.13.0-17-generic i686
ApportVersion: 2.13.3-0ubuntu1
Architecture: i386
CurrentDesktop: GNOME
Date: Sun Mar 16 15:30:52 2014
InstallationDate: Installed on 2013-10-25 (142 days ago)
InstallationMedia: Ubuntu 14.04 LTS "Trusty Tahr" - Release i386 (20131021.1)
SourcePackage: acl2
UpgradeStatus: No upgrade log present (probably fresh install)

See original description
Revision history for this message
dino99 (9d9) wrote :
description: updated
summary: - [arm64] [ppc64] builders locked due to: Missing build dependencies: gcl
+ [arm64] [ppc64el] builders locked due to: Missing build dependencies:
+ gcl
dino99 (9d9)
tags: added: arm64 ppc64el
description: updated
description: updated
Revision history for this message
dino99 (9d9) wrote : Re: [arm64] [ppc64el] builders locked due to: Missing build dependencies: gcl

Needs to stop these tasks to let the builders continuing building other packages.
Strangely launchpad is locking all the arches, including i386 & amd64, even if they are not concerned by that missing dependency. (Launchpad faulty)

Revision history for this message
Hans Joachim Desserud (hjd) wrote :

Thanks for reporting this issue. This still happens with acl2 version 6.4-3 on Ubuntu Utopic. I added the tag "ftbfs" so that this bug report will show up on http://qa.ubuntuwire.com/ftbfs/.

tags: added: ftbfs utopic
Revision history for this message
Hans Joachim Desserud (hjd) wrote :

(That is to say, it is still missing gcl on these architectures. It doesn't seem to be locking the builders)

dino99 (9d9)
tags: added: vivid
summary: - [arm64] [ppc64el] builders locked due to: Missing build dependencies:
+ [arm64] [ppc64el] compile failed due to: Missing build dependencies:
gcl
Revision history for this message
Hans Joachim Desserud (hjd) wrote : Re: [arm64] [ppc64el] compile failed due to: Missing build dependencies: gcl

I've taken a look after the title was updated earlier today. Starting with Ubuntu Vivid, gcl has built successfully on all architectures (https://launchpad.net/ubuntu/+source/gcl). In turn, acl2 has built succesfully on arm64. There's still a build failure with ppc64el, but since gcl is available I don't think that's directly related to this issue. I wonder whether this can be closed and possibly a new issue should be created for the current ppc64el problem.

Revision history for this message
dino99 (9d9) wrote :

you are right hjd indeed
i've tried to check the vivid's ppc64el build changelog, but its so huge that my system completly freeze while opening it; so i've abort without be able to check the reason of the built fealure.

summary: - [arm64] [ppc64el] compile failed due to: Missing build dependencies:
- gcl
+ [ppc64el] compile failed due to: Missing build dependencies: gcl
dino99 (9d9)
tags: added: wily
removed: arm64 i386 trusty utopic vivid
summary: - [ppc64el] compile failed due to: Missing build dependencies: gcl
+ [ppc64el] FTBFS
tags: added: vivid
dino99 (9d9)
tags: added: xenial
Camm Maguire (camm-debian)
Changed in acl2 (Ubuntu):
status: New → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.