Date: Thursday, March 4, 2021 @ 17:13:50 Author: kgizdov Revision: 880453
upgpkg: coq 8.13.1-1 Modified: coq/trunk/PKGBUILD ----------+ PKGBUILD | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2021-03-04 17:08:39 UTC (rev 880452) +++ PKGBUILD 2021-03-04 17:13:50 UTC (rev 880453) @@ -1,4 +1,5 @@ -# Maintainer: Baptiste Jonglez <baptiste--aur at jonglez dot org> +# Maintainer: Konstantin Gizdov <arch at kge dot pw> +# Contributor: Baptiste Jonglez <baptiste--aur at jonglez dot org> # Contributor: acieroid # Contributor: spider-mario <spiderma...@free.fr> # Contributor: Thomas Dziedzic < gostrc at gmail > @@ -7,7 +8,7 @@ pkgbase=coq pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc") -pkgver=8.13.0 +pkgver=8.13.1 pkgrel=1 pkgdesc='Formal proof management system' arch=('x86_64') @@ -24,7 +25,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=('c355f0a9183f3669debd5f8f4ab96786215d0cccc37d1c2ac95a2d3c6115c8b0ee7ff7e23464b18444e2648ef3f8c221f0f3a28acf91199751cea2b74ee3fe8e') +sha512sums=('21544d4177aa40b98daeeaa45684786141eb049b20399ef863a6e1f886d425bee16653b94bd2bb1b3e73eefa6986348eeefaf0c746a75bd4660e4a7417e0b538') build() { # generate a desktop file @@ -51,7 +52,8 @@ depends=('ocaml') optdepends=('coqide: graphical Coq IDE' 'coq-doc: offline documentation' - 'coin-or-csdp: for psatz plugin') + 'coin-or-csdp: for psatz plugin' + 'python-argparse: needed by some coq tools (e.g. TimeFileMaker)') # coq-nox was the old name for coq without coqide replaces=('coq-nox') conflicts=('coq-nox') @@ -60,14 +62,15 @@ # fix intermittent bug with folder creation install -d "${pkgdir}/usr/bin" + install -d "${pkgdir}/usr/lib/coq" + # Workaround for FS#58203 + mkdir -p "${pkgdir}/usr/lib/ocaml/" + ln -s /usr/lib/coq "${pkgdir}/usr/lib/ocaml/coq" # The second target is needed to install coqidetop.cmxs (needed for some # frontend other than coqide, for instance coquille) make COQINSTALLPREFIX="${pkgdir}" install-coq install-ide-toploop install-meta rm -f "${pkgdir}/usr/share/man/man1/coqide.1" - # Workaround for FS#58203 - mkdir -p "${pkgdir}/usr/lib/ocaml/" - ln -s /usr/lib/coq "${pkgdir}/usr/lib/ocaml/coq" } package_coqide() {