[arch-commits] Commit in coq/trunk (PKGBUILD)

Baptiste Jonglez zorun at archlinux.org
Fri May 31 16:26:22 UTC 2019


    Date: Friday, May 31, 2019 @ 16:26:22
  Author: zorun
Revision: 475993

upgpkg: coq 8.9.1-1

Modified:
  coq/trunk/PKGBUILD

----------+
 PKGBUILD |    5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2019-05-31 16:25:47 UTC (rev 475992)
+++ PKGBUILD	2019-05-31 16:26:22 UTC (rev 475993)
@@ -6,7 +6,7 @@
 # Contributor: William J. Bowman <bluephoenix47 at gmail.com>
 
 pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.9.0
+pkgver=8.9.1
 pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
@@ -23,7 +23,7 @@
              'python' 'python-sphinx' 'python-sphinx_rtd_theme' 'python-pexpect'
              'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 'python-antlr4')
 source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz")
-sha512sums=('42b2e0ae669c06803b6b527a194d78675de18869f6342fc8afc49cfc94f3e98ca0c3b4fd52d3af8c5ce66c6efb1c665ac0d65e992ad29c3f432e244f98ec2ca1')
+sha512sums=('66344f801b955d1b6daf3ab1d704551070c95cf9032ae74f15fb33f7ec313812b3e05c0ec277a2eb448e3fdfd9721df06d36612e2fb4928b6530d70147f1d983')
 
 prepare() {
   gendesk -f -n --pkgname "coqide" \
@@ -72,6 +72,7 @@
 
   cd "$srcdir/coq-$pkgver"
 
+  mkdir -p "${pkgdir}/usr/bin"
   make COQINSTALLPREFIX="$pkgdir" install-coqide
   install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
 


More information about the arch-commits mailing list