Skip to content

Instantly share code, notes, and snippets.

@corecode
Created May 20, 2020 21:17
Show Gist options
  • Save corecode/9b11e1574dde8965267f8a7028365c42 to your computer and use it in GitHub Desktop.
Save corecode/9b11e1574dde8965267f8a7028365c42 to your computer and use it in GitHub Desktop.
diff --git a/PKGBUILD b/PKGBUILD
index 455222f..b7f89c3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,8 +1,8 @@
# Maintainer: Rod Kay <charlie5 on #ada at freenode.net>
pkgname=gnatcoll-xref
-pkgver=2019
-pkgrel=2
+pkgver=2020
+pkgrel=1
pkgdesc='GNAT Components Collection - Tool to support parsing *.ali and *.gli files.'
url='https://github.com/AdaCore/gnatcoll-db/'
@@ -12,13 +12,13 @@ license=('GPL')
depends=('gnatcoll-iconv' 'gnatcoll-sqlite')
makedepends=('gprbuild')
-source=('https://github.com/AdaCore/gnatcoll-db/archive/master.zip')
-sha1sums=('eeefdd157ccd2ad62e807ab64eae07bb3f651300')
+source=('git+https://github.com/AdaCore/gnatcoll-db#commit=b0b82d7859d7b6c4a9ade11f4dd78e46305d4716')
+sha1sums=('SKIP')
build()
{
- cd "$srcdir/gnatcoll-db-master/xref"
+ cd "$srcdir/gnatcoll-db/xref"
make setup BUILD=PROD prefix=/usr
make -j1 GPRBUILD_OPTIONS=-R
@@ -27,7 +27,7 @@ build()
package()
{
- cd "$srcdir/gnatcoll-db-master/xref"
+ cd "$srcdir/gnatcoll-db/xref"
# Make one install at a time to avoid GPRinstall reading/writing to
# the same installed project files at the same time.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment