diff options
author | Pierre-Marie de Rodat | 2018-03-10 18:51:26 +0100 |
---|---|---|
committer | Pierre-Marie de Rodat | 2018-03-10 19:10:45 +0100 |
commit | ef5fd2ac22e31968c09bf87ad9637e12eefb6727 (patch) | |
tree | 9db103990e102912fcaa92211f83d2e36ddbe413 /PKGBUILD | |
download | aur-ef5fd2ac22e31968c09bf87ad9637e12eefb6727.tar.gz |
Initial commit
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..d8998c9dd407 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,42 @@ +# Maintainer: Pierre-Marie de Rodat <pmderodat on #ada at freenode.net> + +pkgname=gnatcoll-core-git +pkgver=r2835.ed921e27 +pkgrel=1 + +pkgdesc='GNAT Components Collection - Core packages' +url='https://github.com/AdaCore/gnatcoll-core/' +arch=('i686' 'x86_64') +license=('GPL') + +depends=('gcc-ada' 'libgpr') +makedepends=('git' 'gprbuild') + +provides=('gnatcoll-core') +conflicts=('gnatcoll-core') + +source=('git+https://github.com/AdaCore/gnatcoll-core.git') +sha1sums=('SKIP') + +pkgver() { + cd "$srcdir/${pkgname%-git}" + printf "r%s.%s" \ + "$(git rev-list --count HEAD)" \ + "$(git rev-parse --short HEAD)" +} + +build() +{ + cd "$srcdir/${pkgname%-git}" + make setup BUILD=PROD prefix=/usr + make PROCESSORS="$(nproc)" GPRBUILD_OPTIONS=-R +} + +package() +{ + cd "$srcdir/${pkgname%-git}" + + # Make one install at a time to avoid GPRinstall reading/writing to + # the same installed project files at the same time. + make prefix="$pkgdir/usr" install -j1 +} |