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

[Konstantin Gizdov]

    Date: Thursday, March 4, 2021 @ 17:13:50
  Author: kgizdov
Revision: 880453

upgpkg: coq 8.13.1-1

Modified:
  coq/trunk/PKGBUILD

----------+
 PKGBUILD |   17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-03-04 17:08:39 UTC (rev 880452)
+++ PKGBUILD	2021-03-04 17:13:50 UTC (rev 880453)
@@ -1,4 +1,5 @@
-# Maintainer: Baptiste Jonglez <baptiste--aur at jonglez dot org>
+# Maintainer: Konstantin Gizdov <arch at kge dot pw>
+# Contributor: Baptiste Jonglez <baptiste--aur at jonglez dot org>
 # Contributor: acieroid
 # Contributor: spider-mario <spidermario at free.fr>
 # Contributor: Thomas Dziedzic < gostrc at gmail >
@@ -7,7 +8,7 @@
 
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.13.0
+pkgver=8.13.1
 pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
@@ -24,7 +25,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=('c355f0a9183f3669debd5f8f4ab96786215d0cccc37d1c2ac95a2d3c6115c8b0ee7ff7e23464b18444e2648ef3f8c221f0f3a28acf91199751cea2b74ee3fe8e')
+sha512sums=('21544d4177aa40b98daeeaa45684786141eb049b20399ef863a6e1f886d425bee16653b94bd2bb1b3e73eefa6986348eeefaf0c746a75bd4660e4a7417e0b538')
 
 build() {
   # generate a desktop file
@@ -51,7 +52,8 @@
   depends=('ocaml')
   optdepends=('coqide: graphical Coq IDE'
               'coq-doc: offline documentation'
-              'coin-or-csdp: for psatz plugin')
+              'coin-or-csdp: for psatz plugin'
+              'python-argparse: needed by some coq tools (e.g. TimeFileMaker)')
   # coq-nox was the old name for coq without coqide
   replaces=('coq-nox')
   conflicts=('coq-nox')
@@ -60,14 +62,15 @@
 
   # fix intermittent bug with folder creation
   install -d "${pkgdir}/usr/bin"
+  install -d "${pkgdir}/usr/lib/coq"
+  # Workaround for FS#58203
+  mkdir -p "${pkgdir}/usr/lib/ocaml/"
+  ln -s /usr/lib/coq "${pkgdir}/usr/lib/ocaml/coq"
 
   # The second target is needed to install coqidetop.cmxs (needed for some
   # frontend other than coqide, for instance coquille)
   make COQINSTALLPREFIX="${pkgdir}" install-coq install-ide-toploop install-meta
   rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-  # Workaround for FS#58203
-  mkdir -p "${pkgdir}/usr/lib/ocaml/"
-  ln -s /usr/lib/coq "${pkgdir}/usr/lib/ocaml/coq"
 }
 
 package_coqide() {