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

[Konstantin Gizdov]

    Date: Wednesday, October 20, 2021 @ 20:19:20
  Author: kgizdov
Revision: 1031458

upgpkg: coq 8.14.0-2: fix file conflict

Modified:
  coq/trunk/PKGBUILD

----------+
 PKGBUILD |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-10-20 20:19:04 UTC (rev 1031457)
+++ PKGBUILD	2021-10-20 20:19:20 UTC (rev 1031458)
@@ -9,7 +9,7 @@
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
 pkgver=8.14.0
-pkgrel=1
+pkgrel=2
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -80,6 +80,7 @@
   # 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
 }
 
 package_coqide() {
@@ -97,6 +98,7 @@
   rm -f "${pkgdir}/usr/bin"/coqidetop{,.opt}
   # In coq 8.7 this file is installed both by install-coq and install-coqide, remove the duplicate.
   rm -f "${pkgdir}/usr/lib/coq/vernac/topfmt.cmi"
+  rm -rf "${pkgdir}/usr/share/coq"
 
   # Desktop file generated by gendesk
   install -D -m 644 "${srcdir}/${pkgname}.desktop" "${pkgdir}/usr/share/applications/${pkgname}.desktop"