[arch-commits] Commit in coq/trunk (0002-Sphinx-3-support.patch PKGBUILD)

Jürgen Hötzel juergen at archlinux.org
Mon May 18 17:35:33 UTC 2020


    Date: Monday, May 18, 2020 @ 17:35:32
  Author: juergen
Revision: 629573

Rebuild/Update to OCaml 4.10.0

Added:
  coq/trunk/0002-Sphinx-3-support.patch
Modified:
  coq/trunk/PKGBUILD

-----------------------------+
 0002-Sphinx-3-support.patch |   46 ++++++++++++++++++++++++++++++++++++++++++
 PKGBUILD                    |   12 ++++++----
 2 files changed, 53 insertions(+), 5 deletions(-)

Added: 0002-Sphinx-3-support.patch
===================================================================
--- 0002-Sphinx-3-support.patch	                        (rev 0)
+++ 0002-Sphinx-3-support.patch	2020-05-18 17:35:32 UTC (rev 629573)
@@ -0,0 +1,46 @@
+--- a/doc/tools/coqrst/coqdomain.py
++++ b/doc/tools/coqrst/coqdomain.py
+@@ -21,6 +21,7 @@ from itertools import chain
+ from collections import defaultdict
+ 
+ from docutils import nodes, utils
++from docutils.nodes import math_block
+ from docutils.transforms import Transform
+ from docutils.parsers.rst import Directive, directives
+ from docutils.parsers.rst.roles import code_role #, set_classes
+@@ -34,7 +35,6 @@ from sphinx.util.logging import getLogge
+ from sphinx.directives import ObjectDescription
+ from sphinx.domains import Domain, ObjType, Index
+ from sphinx.domains.std import token_xrefs
+-from sphinx.ext import mathbase
+ 
+ from . import coqdoc
+ from .repl import ansicolors
+@@ -74,8 +74,8 @@ def make_target(objtype, targetid):
+     return "coq:{}.{}".format(objtype, targetid)
+ 
+ def make_math_node(latex, docname, nowrap):
+-    node = mathbase.displaymath()
+-    node['latex'] = latex
++    node = math_block()
++    node['text'] = latex
+     node['label'] = None # Otherwise equations are numbered
+     node['nowrap'] = nowrap
+     node['docname'] = docname
+@@ -1249,11 +1249,11 @@ def setup(app):
+     app.connect('doctree-resolved', CoqtopBlocksTransform.merge_consecutive_coqtop_blocks)
+ 
+     # Add extra styles
+-    app.add_stylesheet("ansi.css")
+-    app.add_stylesheet("coqdoc.css")
+-    app.add_javascript("notations.js")
+-    app.add_stylesheet("notations.css")
+-    app.add_stylesheet("pre-text.css")
++    app.add_css_file("ansi.css")
++    app.add_css_file("coqdoc.css")
++    app.add_js_file("notations.js")
++    app.add_css_file("notations.css")
++    app.add_css_file("pre-text.css")
+ 
+     # Tell Sphinx about extra settings
+     app.add_config_value("report_undocumented_coq_objects", None, 'env')

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-05-18 17:34:45 UTC (rev 629572)
+++ PKGBUILD	2020-05-18 17:35:32 UTC (rev 629573)
@@ -6,7 +6,7 @@
 # Contributor: William J. Bowman <bluephoenix47 at gmail.com>
 
 pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.11.0
+pkgver=8.11.1
 pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
@@ -22,8 +22,9 @@
              '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=('db7c3da4bab268cb729bcf9f03f5cd3bbb7a3b5b7094fe2b110189e54e436f9883640db88643d09cec5dc169c209a51661238e41b8de3035ff7ea8561c794c89')
+source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz" "0002-Sphinx-3-support.patch")
+sha512sums=('974f09268ca729b525884e02e3179837e31f8001a2c244f138a36a7984329324083e66d07526bba89acaed656eb7711e2c5b257517309d0479839c5d1ac96aa5'
+            '1bcbe09593f90c89f27db97a910b934cdb3af566ca14db887f2f720faedc35922e4048ba833abbb96128cfc1c8dc023843f528c53f488fc8bc68eaeb83fd7658')
 
 prepare() {
   gendesk -f -n --pkgname "coqide" \
@@ -31,6 +32,7 @@
     --pkgdesc "Graphical interface for the Coq proof assistant" \
     --categories "Development;Science;Math;IDE;GTK"
   cd "$srcdir/coq-$pkgver"
+  patch -p1 -i "$srcdir/0002-Sphinx-3-support.patch"
 }
 
 build() {
@@ -42,8 +44,8 @@
     -configdir '/etc/xdg/coq/' \
     -coqide opt \
     -with-doc yes
-
-  make world
+  # https://github.com/coq/coq/issues/12332
+  SPHINXWARNERROR=0 make world
 }
 
 package_coq() {


More information about the arch-commits mailing list