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

Jürgen Hötzel juergen at gemini.archlinux.org
Tue Aug 9 18:50:15 UTC 2022


    Date: Tuesday, August 9, 2022 @ 18:50:15
  Author: juergen
Revision: 1264486

OCaml 4.14.0 rebuild. Disable broken PDF docs.

Modified:
  coq/trunk/PKGBUILD

----------+
 PKGBUILD |   11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2022-08-09 18:49:13 UTC (rev 1264485)
+++ PKGBUILD	2022-08-09 18:50:15 UTC (rev 1264486)
@@ -9,7 +9,7 @@
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
 pkgver=8.15.0
-pkgrel=2
+pkgrel=3
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -16,7 +16,7 @@
 license=('GPL')
 groups=('coq')
 options=('!emptydirs' '!strip' 'staticlibs')
-depends=('ocaml>=4.13.1')
+depends=('ocaml>=4.14.0')
 makedepends=('ocaml-findlib' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3' 'dune' 'git'
              'lablgtk3' 'gendesk' # coqide
              'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
@@ -23,7 +23,7 @@
              'texlive-fontsextra' 'texlive-science'
              'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
              'python' 'python-sphinx' 'python-sphinx_rtd_theme' 'python-pexpect'
-             'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 'python-antlr4')
+             'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 'antlr4' 'python-antlr4')
 source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz")
 sha512sums=('be6c799b6635875255f7288b9bae5f9108660308f299823155d41353e96fbed4e41e1fc8896fe9653c095da740a80dbf5a1add6b28d279eb7b65365eeaff54ab')
 
@@ -47,8 +47,11 @@
     -warn-error no \
     -coqide opt \
     -with-doc yes
+  # https://github.com/antlr/antlr4/issues/3753
+  make -C doc/tools/coqrst/notations
+  MAKE_TARGETS="coq coqide revision refman-html doc-stdlib" # refman-pdf is currently broken
   # https://github.com/coq/coq/issues/12332
-  OCAMLPATH=/usr/lib/ocaml CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith/ SPHINXWARNERROR=0 make world
+  OCAMLPATH=/usr/lib/ocaml CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith/ SPHINXWARNERROR=0 make $MAKE_TARGETS
 }
 
 package_coq() {



More information about the arch-commits mailing list