blob: 082765f643db71b44c34a729dcf9e2529d3594d4 (
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
|
# Maintainer: Rod Kay <rodakay5 at gmail dot com>
pkgname=gnatstudio-sources
pkgver=24.0w
pkgrel=1
pkgdesc='Source tarballs for the Gnatstudio project stack.'
arch=(i686 x86_64)
url=https://github.com/AdaCore/gnatstudio
license=(GPL3)
source=(https://github.com/AdaCore/gnatstudio/releases/download/gnatstudio-cr-20230501/gnatstudio-sources-x86_64-linux.tar.gz)
sha256sums=(acacf5f971dd94dd08a464a05f4e02cf0f1fc5e81028bf7c13091ed08ad97218)
package()
{
cd $srcdir/$pkgname-x86_64-linux
mkdir -p $pkgdir/opt/gnatstudio-sources
cp ada_libfswatch-24.0w-20230428-16626-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp adasat-24.0w-20230324-16568-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp als-24.0w-20230428-16420-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp gnatcoll-bindings-24.0w-20230324-1636E-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp gnatcoll-core-24.0w-20230324-161A8-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp gnatcoll-db-24.0w-20230324-166CC-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp gnatdoc4-24.0w-20230428-16616-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp gnathub-edge-24.0w-20230324-16293-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp gnatstudio-24.0w-20230428-16588-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp gpr2-24.0w-20230324-16151-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp gprbuild-24.0w-20230324-1649D-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp gprconfig-kb-24.0w-20230324-16644-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp gtkada-24.0w-20230428-165F0-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp langkit-24.0w-20230324-16391-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp libadalang-24.0w-20230324-164A3-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp libadalang-tools-24.0w-20230324-166A6-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp markdown-24.0w-20230428-162F9-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp spawn-24.0w-20230428-162D4-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp templates_parser-24.0w-20230324-1619B-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp vss-24.0w-20230324-16550-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp vss-24.0w-20230428-1628B-src.tar.gz $pkgdir/opt/gnatstudio-sources
cp xmlada-24.0w-20230324-1684A-src.tar.gz $pkgdir/opt/gnatstudio-sources
}
|