Package Details: gprbuild-bootstrap-git r3723.815226d6-1

Git Clone URL: https://aur.archlinux.org/gprbuild-bootstrap-git.git (read-only, click to copy)
Package Base: gprbuild-bootstrap-git
Description: Static GPRbuild to bootstrap XML/Ada and GPRbuild itself
Upstream URL: https://github.com/AdaCore/gprbuild/
Licenses: GPL3
Conflicts: gprbuild, gprbuild-bootstrap
Provides: gprbuild-bootstrap
Submitter: pmderodat
Maintainer: pmderodat
Last Packager: pmderodat
Votes: 2
Popularity: 0.000136
First Submitted: 2017-06-18 10:37
Last Updated: 2021-01-24 15:43

Required by (6)

  • gprbuild (requires gprbuild-bootstrap) (make)
  • gprbuild-git (requires gprbuild-bootstrap) (make)
  • libgpr (requires gprbuild-bootstrap) (make)
  • libgpr-git (requires gprbuild-bootstrap) (make)
  • xmlada (requires gprbuild-bootstrap) (make)
  • xmlada-git (requires gprbuild-bootstrap) (make)

Sources (3)

Latest Comments

pmderodat commented on 2021-01-24 15:46

Hello tfl5034,

Thank you for reporting this issue and for the patch, and apologies for the late answer. I have just incorporated your changes, please let me know if you still experience problems.

tfl5034 commented on 2021-01-06 05:36

Hi, to build the latest revision, I had to modify the PKGBUILD. I attached the diff. Here is the summary of changes:

  1. Added gprconfig_kb git source
  2. Updated the sed scripts to reflect change of locations of XML files
  3. Removed sed script to modify bootstrap.sh because the shebang was changed upstream to #!/bin/bash
  4. Added flag to bootstrap.sh with path to gprconfig_kb
diff --git a/PKGBUILD b/PKGBUILD
index ce645ee..25df945 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
 # Contributor: Rod Kay <charlie5 on #ada at freenode.net>
 # Contributor: Earnestly <zibeon AT googlemail.com>
 pkgname=gprbuild-bootstrap-git
-pkgver=r3601.cf5c323f
+pkgver=r3719.b6d6c879
 pkgrel=1
 pkgdesc="Static GPRbuild to bootstrap XML/Ada and GPRbuild itself"
 arch=('i686' 'x86_64')
@@ -14,8 +14,9 @@ makedepends=('git' 'gcc-ada')
 provides=('gprbuild-bootstrap')
 conflicts=('gprbuild' 'gprbuild-bootstrap')
 source=('git+https://github.com/AdaCore/gprbuild.git'
-        'git+https://github.com/AdaCore/xmlada.git')
-sha1sums=(SKIP SKIP)
+        'git+https://github.com/AdaCore/xmlada.git'
+        'git+https://github.com/AdaCore/gprconfig_kb')
+sha1sums=(SKIP SKIP SKIP)


 pkgver() {
@@ -30,13 +31,10 @@ prepare() {

     # GPRbuild hard-codes references to /usr/libexec, but ArchLinux packages
     # must use /usr/lib instead.
-    sed -i 's/libexec/lib/g' doinstall gprbuild.gpr \
-        share/gprconfig/compilers.xml \
-        share/gprconfig/linker.xml \
-        share/gprconfig/gnat.xml
+    sed -i 's/libexec/lib/g' doinstall gprbuild.gpr

-    # bootstrap.sh is in fact not POSIX compliant
-    sed -i 's|^#!/bin/sh|#!/bin/bash|' bootstrap.sh
+    cd "$srcdir/gprconfig_kb"
+    sed -i 's/libexec/lib/g' db/{compilers,linker,gnat}.xml
 }

 build() {
@@ -47,7 +45,8 @@ build() {
     ./bootstrap.sh \
         --prefix=/usr \
         --libexecdir=/lib \
-        --with-xmlada="$srcdir/xmlada"
+        --with-xmlada="$srcdir/xmlada" \
+        --with-kb="$srcdir/gprconfig_kb"
 }

 package() {