summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorPierre-Marie de Rodat2018-03-10 18:51:26 +0100
committerPierre-Marie de Rodat2018-03-10 19:10:45 +0100
commitef5fd2ac22e31968c09bf87ad9637e12eefb6727 (patch)
tree9db103990e102912fcaa92211f83d2e36ddbe413
downloadaur-ef5fd2ac22e31968c09bf87ad9637e12eefb6727.tar.gz
Initial commit
-rw-r--r--.SRCINFO19
-rw-r--r--.gitignore4
-rw-r--r--PKGBUILD42
3 files changed, 65 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..3f9bbeb7ac1
--- /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 00000000000..ae0cec6e240
--- /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 00000000000..d8998c9dd40
--- /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
+}