diff options
author | Pierre-Marie de Rodat | 2017-06-18 11:48:34 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat | 2017-06-18 12:34:20 +0200 |
commit | 492edcdaf33db782883f7645c8c38bb826aa08a3 (patch) | |
tree | e8b8f8d22f95e24af73a42b08861c1325a04e0ca /PKGBUILD | |
download | aur-492edcdaf33db782883f7645c8c38bb826aa08a3.tar.gz |
Initial commit
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..95285e78447e --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,55 @@ +# Maintainer: Pierre-Marie de Rodat <pmderodat on #ada at freenode.net> +# Contributor: Rod Kay <charlie5 on #ada at freenode.net> +pkgname=libgpr-git +pkgver=r3152.ba7dba01 +pkgrel=1 +pkgdesc="Ada library to handle GPRbuild project files" +arch=('i686' 'x86_64') +url="https://github.com/AdaCore/gprbuild/" +license=('GPL3') +depends=('glibc' 'xmlada') +makedepends=('git' 'gprbuild-bootstrap-git' 'xmlada') +provides=("${pkgname%-git}") +conflicts=("${pkgname%-git}") +source=('git+https://github.com/AdaCore/gprbuild.git' + 'expose-cargs-and-largs-makefile.patch') +sha1sums=('SKIP' + 'f8519098417f781273061169ff30cc16153d4dec') + +pkgver() { + cd "$srcdir/gprbuild" + printf "r%s.%s" \ + "$(git rev-list --count HEAD)" \ + "$(git rev-parse --short HEAD)" +} + +prepare() { + cd "$srcdir/gprbuild" + patch -Np1 -i "$srcdir/expose-cargs-and-largs-makefile.patch" + + # GPRbuild hard-codes references to /usr/libexec, but ArchLinux packages + # must use /usr/lib instead. + sed -i 's/libexec/lib/g' doinstall gprbuild.gpr \ + share/gprconfig/compilers.xml \ + share/gprconfig/linker.xml \ + share/gprconfig/gnat.xml +} + +build() { + cd "$srcdir/gprbuild" + for k in static shared + do + make prefix=/usr PROCESSORS="$(nproc)" GPRBUILD_OPTIONS=-R \ + libgpr.build.$k + done +} + +package() { + cd "$srcdir/gprbuild" + + for k in static shared + do + make prefix="$pkgdir/usr" PROCESSORS="$(nproc)" GPRBUILD_OPTIONS=-R \ + libgpr.install.$k + done +} |