blob: dcd5ace62c62f45b28acac3446c18d1f18b353e2 (
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 = 2
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 = gnatcoll-db2ada
depends = gtkada
depends = python2-gobject
depends = python2-gobject2
depends = python2-cairo
depends = python2-yaml
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 = gnatstudio-support.zip::https://github.com/charlie5/archlinux-gnatstudio-support/archive/refs/heads/main.zip
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 = site-packages.tar.gz
source = gps.desktop
sha1sums = e940520a321c0aa8b624be178306147970c6b6f9
sha1sums = 12fe188cc9ddcf06341d52af4dd086c9ded5afda
sha1sums = 4c13859aa25c5142bd5d0fde7b645217ddeccb50
sha1sums = 4e6cb35c4e2e74d343d0917b926c7377a81b1aba
sha1sums = c71a4484b1e791ea8455a44e602b236dc7497c4d
sha1sums = 7a928f86dad330590a8c9e9aff04291e458fd1c6
sha1sums = 8815ffbf0077a50c4c2023637d214b1847be40f1
sha1sums = 6ec11d04620cb5225df8a43c9a5dbd98e3e3ca53
sha1sums = 3a7acd93e393a2cc29dc6f6be1a498b13ecc5dc1
sha1sums = b399c7b3a1fe48152da18081def3dced2e74763b
pkgname = gnat-gps
|