blob: 5dcce03b1cef6e25e1918a7a7749421fa049a711 (
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
|
pkgbase = gnat-gps
pkgdesc = GNAT Programming Studio for Ada
pkgver = 2021
pkgrel = 1
url = https://github.com/AdaCore/gps
arch = i686
arch = x86_64
license = GPL
makedepends = gprbuild
makedepends = texlive-latexextra
makedepends = graphviz
depends = clang
depends = ada_language_server
depends = gnatcoll-python2
depends = gnatcoll-xref
depends = gtkada
optdepends = python2-jedi
source = gnat-gps-2021-20210701-19B6B-src.tar.gz::https://community.download.adacore.com/v1/e940520a321c0aa8b624be178306147970c6b6f9?filename=gnat-gps-2021-20210701-19B6B-src.tar.gz
source = 0003-Honour-DESTDIR-in-installation-targets.patch
source = 0004-Honour-GPRBUILD_FLAGS-in-cli-Makefile.patch
source = patch-shared.gpr.in
source = patch-filter_panels.adb
source = patch-gtkada-search_entry.ads
source = patch-gtkada-search_entry.adb
source = patch-share-support-core-extensions-__init__.py
source = patch-share-support-core-modules.py
source = patch-share-support-core-tool_output.py
source = patch-share-support-ui-pygps-__init__.py
source = gps.desktop
sha1sums = e940520a321c0aa8b624be178306147970c6b6f9
sha1sums = 4c13859aa25c5142bd5d0fde7b645217ddeccb50
sha1sums = 4e6cb35c4e2e74d343d0917b926c7377a81b1aba
sha1sums = c71a4484b1e791ea8455a44e602b236dc7497c4d
sha1sums = 7a928f86dad330590a8c9e9aff04291e458fd1c6
sha1sums = 8815ffbf0077a50c4c2023637d214b1847be40f1
sha1sums = 6ec11d04620cb5225df8a43c9a5dbd98e3e3ca53
sha1sums = 6c4ec35fcb80336d62960b3b59fbe82ea305f738
sha1sums = 79da1943438f081e6a863011c82c80ccec280e03
sha1sums = 0a03a65eda52b70c7197aef858e3c552a3fbda34
sha1sums = 4492bad6e6a368526654e9c6ac6cc853d4b0fe48
sha1sums = b399c7b3a1fe48152da18081def3dced2e74763b
pkgname = gnat-gps
|