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