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

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

pkgname=ini_file_manager
pkgver=11
pkgrel=1
pkgdesc="Ini configuration file reader and manipulator package for Ada."

arch=(i686 x86_64)
url=https://sourceforge.net/projects/ini-files
license=(MIT)

depends=(gcc-ada)

source=(https://sourceforge.net/projects/ini-files/files/ini-files/ini-files-$pkgver.zip
        construct.gpr
        example.gpr
        ini_file_manager.gpr)

sha256sums=(224e97dc0f88503c76736dc6c6d7220930ef09404f45c50fc339f19492966774
            a40217c7220e421dcee198f8fd7f13633e25d7f73b6abc9e9d31259b2ecb3111
            a7f6906e0b84d28abae0edc4e671f31798528945caa84f1e00060bedb5abf8c5
            84b79de44dbf7b038da6bc76205eed8458592187b0a0cd8088a7f0bbb09e0b8f)

build() 
{
   cd $srcdir/ini-files

   gprbuild -p -P ini_files.gpr
}


package() 
{
   cd $srcdir/ini-files

   gprinstall -p -P ini_files.gpr --prefix="$pkgdir/usr"
}