87 lines
2.4 KiB
Bash
87 lines
2.4 KiB
Bash
# Maintainer: Rod Kay <rodakay5 at gmail dot com>
|
|
|
|
# Contributor: Pierre-Marie de Rodat <pmderodat on #ada at freenode.net>
|
|
# Contributor: Earnestly <zibeon AT googlemail.com>
|
|
|
|
pkgname=gprbuild-bootstrap
|
|
pkgdesc='Static GPRbuild to bootstrap XML/Ada and GPRbuild itself.'
|
|
pkgver=25.0.0
|
|
pkgrel=1
|
|
epoch=1
|
|
|
|
arch=(i686 x86_64)
|
|
url=https://github.com/AdaCore/gprbuild
|
|
license=(GPL3 custom)
|
|
|
|
makedepends=(gcc-ada)
|
|
provides=(gprbuild)
|
|
|
|
source=("gprbuild-${pkgver}::https://github.com/AdaCore/gprbuild/archive/refs/tags/v$pkgver.tar.gz"
|
|
"gprconfig_kb-${pkgver}::https://github.com/AdaCore/gprconfig_kb/archive/refs/tags/v$pkgver.tar.gz"
|
|
"xmlada-${pkgver}::https://github.com/AdaCore/xmlada/archive/refs/tags/v$pkgver.tar.gz")
|
|
|
|
sha256sums=(d12f94c1ec0b6e219f6b162f71f57129d22426e7798092f5f85b9ec2cc818bf1
|
|
802e6d38a3b110897924a9c16e143cb86360f2dde94bb5b9144c7c391e37b121
|
|
dbb5984a0931311c7a787a679ef4cfaeeedd357474a585dc170140ef2251dcca)
|
|
|
|
_gprbuild_src=gprbuild-$pkgver
|
|
_gprconfig_kb_src=gprconfig_kb-$pkgver
|
|
_xmlada_src=xmlada-$pkgver
|
|
|
|
|
|
prepare()
|
|
{
|
|
cd $srcdir/$_gprbuild_src
|
|
|
|
# GPRbuild hard-codes references to /usr/libexec, but ArchLinux packages
|
|
# must use /usr/lib instead.
|
|
#
|
|
sed -i 's/libexec/lib/g' \
|
|
doinstall gprbuild.gpr \
|
|
$srcdir/$_gprconfig_kb_src/db/compilers.xml \
|
|
$srcdir/$_gprconfig_kb_src/db/linker.xml \
|
|
$srcdir/$_gprconfig_kb_src/db/gnat.xml \
|
|
$srcdir/$_gprconfig_kb_src/db/aamp.xml
|
|
}
|
|
|
|
|
|
build()
|
|
{
|
|
cd $srcdir/$_gprbuild_src
|
|
|
|
CFLAGS="${CFLAGS//-Wformat}"
|
|
CFLAGS="${CFLAGS//-Werror=format-security}"
|
|
|
|
GNATMAKEFLAGS="$MAKEFLAGS"
|
|
|
|
./bootstrap.sh \
|
|
--with-xmlada=$srcdir/$_xmlada_src \
|
|
--with-kb=$srcdir/$_gprconfig_kb_src \
|
|
--build
|
|
}
|
|
|
|
|
|
package()
|
|
{
|
|
cd $srcdir/$_gprbuild_src
|
|
|
|
env DESTDIR=$pkgdir \
|
|
./bootstrap.sh \
|
|
--with-kb=$srcdir/$_gprconfig_kb_src \
|
|
--prefix=/usr \
|
|
--libexecdir=/lib \
|
|
--install
|
|
|
|
# Install the license.
|
|
#
|
|
install -D -m644 \
|
|
COPYING3 \
|
|
$pkgdir/usr/share/licenses/$pkgname/COPYING3
|
|
|
|
# Install the custom license.
|
|
#
|
|
install -D -m644 \
|
|
COPYING.RUNTIME \
|
|
$pkgdir/usr/share/licenses/$pkgname/COPYING.RUNTIME
|
|
}
|