blob: ae00449e3741c94bcf942e51dc7fcc9476ef00d9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
# Maintainer: xiretza <xiretza+aur@gmail.com>
# Maintainer: Rod Kay <rodakay5 at gmail dot com>
# Contributor: Pierre-Marie de Rodat <pmderodat on #ada at freenode.net>
pkgname=libadalang-tools
pkgver=2022
pkgrel=2
pkgdesc="Libadalang-based tools for Ada: gnatpp, gnatmetric and gnatstub"
url='https://github.com/AdaCore/libadalang-tools'
arch=('i686' 'x86_64')
license=('GPL')
depends=('libadalang')
makedepends=('gprbuild' 'which')
source=("https://github.com/AdaCore/libadalang-tools/archive/refs/tags/v22.0.0.tar.gz"
"0001-pp-actions.adb-patch-for-compatibility-with-release-.patch"
"0002-Makefile-add-GPRBUILD_FLAGS-variable.patch"
"0003-Makefile-don-t-force-j-to-be-passed-to-gprbuild.patch"
)
sha1sums=('a71465b19d099a1a0f9bcaf029ede067c388c187'
'ef13af536f419fb8181810b17a5feebff1b98342'
'31bc3f4b157782e95dc7cdbc3185e4f74f7fc576'
'af4b98efc227ac64c02f5dde4b20e39c8c967470')
prepare()
{
cd "$srcdir/libadalang-tools-22.0.0"
patch -p1 < "$srcdir/0001-pp-actions.adb-patch-for-compatibility-with-release-.patch"
patch -p1 < "$srcdir/0002-Makefile-add-GPRBUILD_FLAGS-variable.patch"
patch -p1 < "$srcdir/0003-Makefile-don-t-force-j-to-be-passed-to-gprbuild.patch"
}
build()
{
cd "$srcdir/libadalang-tools-22.0.0"
ADA_FLAGS="$CFLAGS"
ADA_FLAGS="${ADA_FLAGS//-Wformat}"
ADA_FLAGS="${ADA_FLAGS//-Werror=format-security}"
make -j1 \
BUILD_MODE=prod \
LIBRARY_TYPE=relocatable \
GPRBUILD_FLAGS="-R -j$(nproc) -cargs $ADA_FLAGS -largs $LDFLAGS" \
bin lib
}
package()
{
cd "$srcdir/libadalang-tools-22.0.0"
make DESTDIR="$pkgdir/usr/" \
install-lib
install -Dm755 -t "$pkgdir/usr/bin/" bin/{gnatpp,gnatmetric,gnatstub}
# Install the license.
install -D -m644 \
"LICENSE" \
"$pkgdir/usr/share/licenses/$pkgname/LICENSE"
}
# vim: set et ts=4:
|