packaging-committee

#605 Bootstrapping exception for GPRbuild
Closed: Fixed Opened by rombobeorn.

Closed: Fixed
Reopen Issue

GPRbuild is a build tool. Originally it was built with other tools, but the latest version is built with GPRbuild, so the package now has a BuildRequires dependency on itself.

As a working GPRbuild must be present before GPRbuild can be built, I ask the FPC to formally recognize that GPRbuild needs to be bootstrapped with precompiled executable files in three situations:

  1. To make GPRbuild available on a new architecture.
  2. In case a bad build breaks the package in Rawhide.
  3. In case a new version can't be built with the previous version (although I deem this unlikely).

+1

We discussed this at this weeks meeting (http://meetbot.fedoraproject.org/fedora-meeting-1/2016-03-03/fpc.2016-03-03-17.00.txt):

  • 605 Bootstrapping exception for GPRbuild (geppetto, 17:59:59)

  • LINK: https://fedorahosted.org/rel-eng/ticket/6335 (Rombobeorn,
    18:02:19)
  • Untagging not possible to solve case 2:
    https://fedorahosted.org/rel-eng/ticket/6335 (geppetto, 18:02:41)
  • Case 2 happens after pushes to mirrors. (geppetto, 18:03:47)
  • ACTION: Bootstrap exception for GPRbuild (+1:5, 0:0, -1:0)

Metadata Update from @tibbs:
- Issue assigned to tibbs
Metadata
None
None
None
None
Static archive. pagure.io was sunset in 2026; this is a read-only snapshot.
Red Hat Logo

Fedora is sponsored by Red Hat. Learn more about the relationship between Red Hat and Fedora »

© Red Hat, Inc. and others.