git: 3036f585e6b6 - main - lang/ghc: Fix build with new Sphinx.

Gleb Popov arrowd at FreeBSD.org
Tue Jul 27 18:50:54 UTC 2021


The branch main has been updated by arrowd:

URL: https://cgit.FreeBSD.org/ports/commit/?id=3036f585e6b6af48cb255acf2cdc156c243afe95

commit 3036f585e6b6af48cb255acf2cdc156c243afe95
Author:     Gleb Popov <arrowd at FreeBSD.org>
AuthorDate: 2021-07-27 18:49:07 +0000
Commit:     Gleb Popov <arrowd at FreeBSD.org>
CommitDate: 2021-07-27 18:50:20 +0000

    lang/ghc: Fix build with new Sphinx.
    
    PR:             257411
---
 lang/ghc/files/patch-sphinx-fix.diff | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/lang/ghc/files/patch-sphinx-fix.diff b/lang/ghc/files/patch-sphinx-fix.diff
new file mode 100644
index 000000000000..3cfc4c03b6ff
--- /dev/null
+++ b/lang/ghc/files/patch-sphinx-fix.diff
@@ -0,0 +1,27 @@
+https://bugs.gentoo.org/792558
+
+From 83407ffc7acc00cc025b9f6ed063add9ab9f9bcc Mon Sep 17 00:00:00 2001
+From: Krzysztof Gogolewski <krzysztof.gogolewski at tweag.io>
+Date: Fri, 25 Sep 2020 02:52:19 +0200
+Subject: [PATCH] Various documentation fixes
+
+* Use r'' in conf.py. This fixes a Sphinx warning:
+  WARNING: Support for evaluating Python 2 syntax is deprecated and will be removed in Sphinx 4.0. Convert docs/users_guide/conf.py to Python 3 syntax.
+--- docs/users_guide/conf.py
++++ docs/users_guide/conf.py
+@@ -100,13 +100,13 @@ htmlhelp_basename = 'GHCUsersGuide'
+ latex_elements = {
+     'inputenc': '',
+     'utf8extra': '',
+-    'preamble': '''
++    'preamble': r'''
+ \usepackage{fontspec}
+ \usepackage{makeidx}
+ \setsansfont{DejaVu Sans}
+ \setromanfont{DejaVu Serif}
+ \setmonofont{DejaVu Sans Mono}
+-\setlength{\\tymin}{45pt}
++\setlength{\tymin}{45pt}
+ ''',
+ }
+ 


More information about the dev-commits-ports-main mailing list