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 | |
download | aur-ef5fd2ac22e31968c09bf87ad9637e12eefb6727.tar.gz |
Initial commit
-rw-r--r-- | .SRCINFO | 19 | ||||
-rw-r--r-- | .gitignore | 4 | ||||
-rw-r--r-- | PKGBUILD | 42 |
3 files changed, 65 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..3f9bbeb7ac18 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,19 @@ +pkgbase = gnatcoll-core-git + pkgdesc = GNAT Components Collection - Core packages + pkgver = r2835.ed921e27 + pkgrel = 1 + url = https://github.com/AdaCore/gnatcoll-core/ + arch = i686 + arch = x86_64 + license = GPL + makedepends = git + makedepends = gprbuild + depends = gcc-ada + depends = libgpr + provides = gnatcoll-core + conflicts = gnatcoll-core + source = git+https://github.com/AdaCore/gnatcoll-core.git + sha1sums = SKIP + +pkgname = gnatcoll-core-git + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..ae0cec6e2402 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +gnatcoll-core +pkg +src +*.pkg.tar.xz 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 +} |