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

[Baptiste Jonglez]

    Date: Wednesday, April 18, 2018 @ 14:51:30
  Author: zorun
Revision: 316880

upgpkg: coq 8.8.0-1

Also fix FS#58203

Modified:
  coq/trunk/PKGBUILD

----------+
 PKGBUILD |   12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-04-18 14:12:43 UTC (rev 316879)
+++ PKGBUILD	2018-04-18 14:51:30 UTC (rev 316880)
@@ -6,7 +6,7 @@
 # Contributor: William J. Bowman <bluephoenix47 at gmail.com>
 
 pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.7.2
+pkgver=8.8.0
 pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
@@ -19,9 +19,11 @@
              'lablgtk2' 'gendesk' # coqide
              'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
              'texlive-fontsextra' 'texlive-science'
-             'fig2dev' 'imagemagick' 'hevea' 'ghostscript')
+             'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
+             '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=('6117ef243c62805996a21952016acaaf21db6d1b539fc813c19c897e100f45cde2bee7c9fb045b269a241b79306c656969ca8051e3212ea2090f6d7c1afad5a8')
+sha512sums=('04ce3bca407a2b4c686e0ff14709516fabffc5256ee311ce90f8e5320ca03a0e557bac82b865b0ce31b17fd763db16194ce3b07e9a13398ac30745a7030ac982')
 
 prepare() {
   gendesk -f -n --pkgname "coqide" \
@@ -41,7 +43,7 @@
     -coqide opt \
     -with-doc yes
 
-  make world
+  make -j1 world
 }
 
 package_coq() {
@@ -56,7 +58,7 @@
 
   # 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
+  make COQINSTALLPREFIX="$pkgdir" install-coq install-ide-toploop install-meta
   rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
 }