PKGBUILD


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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119

# Maintainer:  Rod Kay            <charlie5 on #ada at freenode.net>

# Contributor: Patrick Kelly      <kameo76890 at gmail dot com>
# Contributor: Georgios Tsalikis  <aliverius somewhere near tsalikis and a net>

pkgname=gnatstudio
pkgdesc='GNAT Programming Studio for Ada.'
pkgver=24.0w
pkgrel=3
epoch=1

arch=(i686 x86_64)
url=https://github.com/AdaCore/gps
license=(GPL)

conflicts=(gnat-gps gnatstudio-bin)

depends=(clang
         ada_language_server
         gnatcoll-python
         gnatcoll-xref
         gnatcoll-db2ada
         gtkada
         python-gobject
         python-cairo
         python-yaml
         python-jedi
         python-pycodestyle
         python-sphinx_rtd_theme)

makedepends=(gprbuild
#             texlive-latexextra
             texlive-meta
             graphviz)

source=(https://github.com/charlie5/archlinux-gnatstudio-support/raw/main/gnatstudio-sources/$pkgname-$pkgver-20230428-16588-src.tar.gz
        0003-Honour-DESTDIR-in-installation-targets.patch
        gs_utils.patch
        patch-dap.gpr
        os-utils.c-patch
        building_executable_programs_with_gnat.rst
        gps.desktop)

sha256sums=(ae17d963f063657fe665be243362eccb6b3f122fe846fe64dd1270775120fb52
            5607c451dbf63dba346eeb2ef602a86321d310bdfb6ef777870bb32761b596d5
            7f5196621ca8f1dfe15ada96af63b10d70a56727c103459864a0e3f6b510d182
            b4701fa61cdd64f2fb689e68de06e209d2bb809fd5d98d81d9ccd7a77c6caff8
            6626d93c5d0016280a31411a3dcc5ec80fd1a69c85f4c48a1334ae3f950008b2
            f29080c1d283929cedaa630df27d1688b2099ab5f82601fbf98028a528e935ae
            e21894fc1a0fbc90c25b0c524969703d685f283adc09225744d9013de3b00533)


prepare()
{
   cd $srcdir/$pkgname-$pkgver-20230428-16588-src

   patch -p1 < $srcdir/0003-Honour-DESTDIR-in-installation-targets.patch
   patch -p0 < $srcdir/gs_utils.patch
   patch -p0 < $srcdir/patch-dap.gpr
   patch -p0 < $srcdir/os-utils.c-patch

   cp $srcdir/building_executable_programs_with_gnat.rst gnat
}


build() 
{
   cd $srcdir/$pkgname-$pkgver-20230428-16588-src

   export OS=unix
   export LC_ALL=C
   
   ./configure --prefix=/usr

   # The release tarball contains a bunch of sphinx build artefacts.
   #
   make -C docs clean

   ADA_FLAGS="$CFLAGS"
   ADA_FLAGS="${ADA_FLAGS//-Wformat}"
   ADA_FLAGS="${ADA_FLAGS//-Werror=format-security}"

   # GPS uses a lot of Unchecked_Conversion (too many to patch), so we have to build with -fno-strict-aliasing.
   # https://gcc.gnu.org/onlinedocs/gcc-10.2.0/gnat_ugn/Optimization-and-Strict-Aliasing.html
   #
   make OS=unix                  \
        PROCESSORS=0             \
        BUILD=Production         \
        PRJ_BUILD=Release        \
        LIBRARY_TYPE=relocatable \
        GPRBUILD_FLAGS="-R -cargs $ADA_FLAGS -fno-strict-aliasing -largs $LDFLAGS -lpython3.12 -gargs"
 
   # Gnatdoc appears broken when trying to build docs. Disabling docs til fixed.
   #  
   make -C docs all
}


package() 
{
   cd $srcdir/$pkgname-$pkgver-20230428-16588-src

   export OS=unix
   
   make DESTDIR=$pkgdir         install
#   make DESTDIR=$pkgdir -C docs install
 
   ln -s /usr $pkgdir/usr/share/gnatstudio/python

   # Add the desktop config.
   #
   install -Dm644 -t $pkgdir/usr/share/applications/ $srcdir/gps.desktop
  
   # Install the license.
   #
   install -D -m644 \
      COPYING3      \
      $pkgdir/usr/share/licenses/$pkgname/COPYING3
}