diff options
author | Rod Kay | 2017-06-14 21:10:59 +1000 |
---|---|---|
committer | Rod Kay | 2017-06-14 21:10:59 +1000 |
commit | 3858989474bd04ac9ea7fc8f79e198462a1cf9ac (patch) | |
tree | 50ef4954dcbd2bfb8744ee695280fea97706f44f | |
parent | 6db23d5eb9b3d422b0de3f8ff1a0cff4723ea65d (diff) | |
download | aur-3858989474bd04ac9ea7fc8f79e198462a1cf9ac.tar.gz |
Use gpl17 sources
-rw-r--r-- | .SRCINFO | 9 | ||||
-rw-r--r-- | PKGBUILD | 40 |
2 files changed, 13 insertions, 36 deletions
@@ -1,10 +1,10 @@ # Generated by mksrcinfo v8 -# Fri Jun 9 02:50:19 UTC 2017 +# Wed Jun 14 11:10:55 UTC 2017 pkgbase = libgpr pkgdesc = Ada library to handle GPRbuild project files pkgver = 1 - pkgrel = 1 - url = http://libre.adacore.com/ + pkgrel = 2 + url = http://www.adacore.com/gnatpro/toolsuite/gprbuild arch = i686 arch = x86_64 license = GPL @@ -13,7 +13,8 @@ pkgbase = libgpr makedepends = gprbuild depends = gcc-ada depends = gcc-libs - depends = prepare_gnat_util + source = http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deecff7 + sha1sums = f956aa57c58c342a958332c8cd98e6481e9ce593 pkgname = libgpr @@ -3,50 +3,25 @@ pkgname=libgpr pkgver=1 -pkgrel=1 +pkgrel=2 pkgdesc="Ada library to handle GPRbuild project files" arch=('i686' 'x86_64') -url="http://libre.adacore.com/" +url="http://www.adacore.com/gnatpro/toolsuite/gprbuild" license=('GPL') -depends=('gcc-ada' 'gcc-libs' 'prepare_gnat_util') +depends=('gcc-ada' 'gcc-libs') makedepends=('git' 'gcc-ada' 'gprbuild') -#source=('https://github.com/AdaCore/gprbuild.git') -#sha256sums=(SKIP) -#source=() -#sha256sums=(SKIP) - -_gitroot='https://github.com/AdaCore/gprbuild.git' -_gitname='gprbuild' +source=('http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deecff7') +sha1sums=('f956aa57c58c342a958332c8cd98e6481e9ce593') library_kinds="static shared" -prepare() -{ - cd "$srcdir" - - if [[ -d "$_gitname" ]]; then - msg "gprbuild git repository exists." - git pull - else - msg "Connecting to GIT server...." - - git clone "$_gitroot" "$_gitname" - -# cd "$_gitname" -# git checkout -# git checkout 0f2542be82b7a4edd89b564205202b16a0f1dfd3 -# msg "GIT checkout done or server timeout" - fi -} - - build() { - cd "$srcdir/gprbuild" + cd "$srcdir/gprbuild-gpl-2017-src" for k in $library_kinds do @@ -56,7 +31,8 @@ build() { package() { - cd "$srcdir/gprbuild" + cd "$srcdir/gprbuild-gpl-2017-src" + for k in $library_kinds do make libgpr.install.$k "prefix=$pkgdir/usr" |