summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorRod Kay2017-06-14 21:10:59 +1000
committerRod Kay2017-06-14 21:10:59 +1000
commit3858989474bd04ac9ea7fc8f79e198462a1cf9ac (patch)
tree50ef4954dcbd2bfb8744ee695280fea97706f44f
parent6db23d5eb9b3d422b0de3f8ff1a0cff4723ea65d (diff)
downloadaur-3858989474bd04ac9ea7fc8f79e198462a1cf9ac.tar.gz
Use gpl17 sources
-rw-r--r--.SRCINFO9
-rw-r--r--PKGBUILD40
2 files changed, 13 insertions, 36 deletions
diff --git a/.SRCINFO b/.SRCINFO
index f1dd8a380d9d..94f1b41863a3 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 7443c4cab172..d3bdda1eb92c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"