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

Jürgen Hötzel juergen at archlinux.org
Fri Aug 16 06:20:44 UTC 2019


    Date: Friday, August 16, 2019 @ 06:20:44
  Author: juergen
Revision: 499730

OCaml 4.08 rebuild

Added:
  coq/trunk/ocaml408_compat.patch
Modified:
  coq/trunk/PKGBUILD

-----------------------+
 PKGBUILD              |    9 ++++++---
 ocaml408_compat.patch |   13 +++++++++++++
 2 files changed, 19 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2019-08-16 06:20:41 UTC (rev 499729)
+++ PKGBUILD	2019-08-16 06:20:44 UTC (rev 499730)
@@ -7,7 +7,7 @@
 
 pkgname=('coq' 'coqide' 'coq-doc')
 pkgver=8.9.1
-pkgrel=1
+pkgrel=2
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -22,8 +22,10 @@
              '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=('66344f801b955d1b6daf3ab1d704551070c95cf9032ae74f15fb33f7ec313812b3e05c0ec277a2eb448e3fdfd9721df06d36612e2fb4928b6530d70147f1d983')
+source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz"
+"ocaml408_compat.patch")
+sha512sums=('66344f801b955d1b6daf3ab1d704551070c95cf9032ae74f15fb33f7ec313812b3e05c0ec277a2eb448e3fdfd9721df06d36612e2fb4928b6530d70147f1d983'
+'df50beaf50e8ed6c208682327634ba0c656d041598d9a81d762ba07bba01336b769defc9deabe0e37c66deca3bce8c418c16da26c084564c2147e55b646508f5')
 
 prepare() {
   gendesk -f -n --pkgname "coqide" \
@@ -31,6 +33,7 @@
     --pkgdesc "Graphical interface for the Coq proof assistant" \
     --categories "Development;Science;Math;IDE;GTK"
   cd "$srcdir/coq-$pkgver"
+  patch -p1 -i "${srcdir}/ocaml408_compat.patch"
 }
 
 build() {

Added: ocaml408_compat.patch
===================================================================
--- ocaml408_compat.patch	                        (rev 0)
+++ ocaml408_compat.patch	2019-08-16 06:20:44 UTC (rev 499730)
@@ -0,0 +1,13 @@
+diff --git a/Makefile.build b/Makefile.build
+index ed29e21c82..02a92cd404 100644
+--- a/Makefile.build
++++ b/Makefile.build
+@@ -262,7 +262,7 @@ endef
+ CAMLP5DEPS:=grammar/grammar.cma
+ CAMLP5USE=pa_extend.cmo q_MLast.cmo pa_macro.cmo -D$(CAMLVERSION)
+ 
+-PR_O := $(if $(READABLE_ML4),pr_o.cmo,pr_dump.cmo)
++PR_O := $(if $(READABLE_ML4),pr_o.cmo,)
+ 
+ # Main packages linked by Coq.
+ SYSMOD:=-package num,str,unix,dynlink,threads


More information about the arch-commits mailing list