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"