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

[Konstantin Gizdov]

    Date: Friday, January 21, 2022 @ 08:38:59
  Author: kgizdov
Revision: 1111951

upgpkg: coq 8.15.0-1

Modified:
  coq/trunk/PKGBUILD

----------+
 PKGBUILD |   16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2022-01-21 08:38:24 UTC (rev 1111950)
+++ PKGBUILD	2022-01-21 08:38:59 UTC (rev 1111951)
@@ -8,14 +8,14 @@
 
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.14.1
-pkgrel=2
+pkgver=8.15.0
+pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
 license=('GPL')
 groups=('coq')
-options=('!emptydirs')
+options=('!emptydirs' '!strip' 'staticlibs')
 depends=('ocaml>=4.13.1' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3')
 makedepends=('ocaml-findlib'
              'dune'
@@ -27,7 +27,7 @@
              '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=('bd761d1577fc30b5a0c6d220c643f177a7604961961ce3d94bc61659db48338e1fa068e23cd1ceb5eef56b592051e0c85fe43a91c38b16a24eec29e12343b5ee')
+sha512sums=('be6c799b6635875255f7288b9bae5f9108660308f299823155d41353e96fbed4e41e1fc8896fe9653c095da740a80dbf5a1add6b28d279eb7b65365eeaff54ab')
 
 build() {
   # generate a desktop file
@@ -45,9 +45,7 @@
     -prefix '/usr' \
     -mandir '/usr/share/man' \
     -configdir '/etc/xdg/coq/' \
-    -flambda-opts '-O3 -unbox-closures' \
     -nomacintegration \
-    -nodebug \
     -warn-error no \
     -coqide opt \
     -with-doc yes
@@ -75,12 +73,13 @@
   install -d "${pkgdir}/usr/lib/ocaml"
   ln -s /usr/lib/coq "${pkgdir}/usr/lib/ocaml/coq"
   ln -s /usr/lib/coq-core "${pkgdir}/usr/lib/ocaml/coq-core"
+  ln -s /usr/lib/coqide-server "${pkgdir}/usr/lib/ocaml/coqide-server"
 
   # The second target is needed to install coqidetop.cmxs (needed for some
   # frontend other than coqide, for instance coquille)
   make DESTDIR="${pkgdir}" install-coq install-coqide
   rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
-  rm -rf "${pkgdir}"/usr/{bin,doc,lib}/coqide
+  rm -rf "${pkgdir}"/usr/{bin,doc,lib,share/doc}/coqide
 }
 
 package_coqide() {
@@ -92,6 +91,9 @@
   mkdir -p "${pkgdir}/usr/bin"
   make DESTDIR="${pkgdir}" install-coqide
   install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1
+  # Workaround for FS#58203
+  install -d "${pkgdir}/usr/lib/ocaml"
+  ln -s /usr/lib/coqide "${pkgdir}/usr/lib/ocaml/coqide"
 
   # Remove toploop files installed by "install-ide-toploop" in the main package
   rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs}