Date: Monday, January 18, 2021 @ 12:08:19 Author: kgizdov Revision: 822829
archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 822828, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD ----------+ PKGBUILD | 197 +++++++++++++++++++++++++++++++------------------------------ 1 file changed, 101 insertions(+), 96 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2021-01-18 12:08:12 UTC (rev 822828) +++ PKGBUILD 2021-01-18 12:08:19 UTC (rev 822829) @@ -1,96 +0,0 @@ -# Maintainer: Baptiste Jonglez <baptiste--aur at jonglez dot org> -# Contributor: acieroid -# Contributor: spider-mario <spiderma...@free.fr> -# Contributor: Thomas Dziedzic < gostrc at gmail > -# Contributor: George Giorgidze <giorgi...@gmail.com> -# Contributor: William J. Bowman <bluephoeni...@gmail.com> - -pkgname=('coq' 'coqide' 'coq-doc') -pkgver=8.12.0 -pkgrel=2 -pkgdesc='Formal proof management system' -arch=('x86_64') -url='https://coq.inria.fr/' -license=('GPL') -groups=('coq') -options=('!emptydirs') -depends=('ocaml>=4.11.0' 'ocaml-num' 'gtk3' 'gtksourceview3') -makedepends=('ocaml-findlib' - 'lablgtk3' 'gendesk' # coqide - 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc - 'texlive-fontsextra' 'texlive-science' - '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=('8a64624c578ce0ab781fb3b1f162bd8b095735ad891fdad2fb7c40849afbdc7c1360187c6b62a5ef2982566f4c6c78029240c611ae769943a5250af300eb1240') - -prepare() { - gendesk -f -n --pkgname "coqide" \ - --name "CoqIDE Proof Assistant" \ - --pkgdesc "Graphical interface for the Coq proof assistant" \ - --categories "Development;Science;Math;IDE;GTK" -} - -build() { - cd "$srcdir/coq-$pkgver" - - ./configure \ - -prefix '/usr' \ - -mandir '/usr/share/man' \ - -configdir '/etc/xdg/coq/' \ - -coqide opt \ - -with-doc yes - # https://github.com/coq/coq/issues/12332 - SPHINXWARNERROR=0 make world -} - -package_coq() { - depends=('ocaml') - optdepends=('coqide: graphical Coq IDE' - 'coq-doc: offline documentation' - 'coin-or-csdp: for psatz plugin') - # coq-nox was the old name for coq without coqide - replaces=('coq-nox') - conflicts=('coq-nox') - - cd "$srcdir/coq-$pkgver" - - # 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() { - pkgdesc="GTK-based graphical interface for the Coq proof assistant" - depends=('coq' 'ocaml' 'gtk3' 'gtksourceview3') - - cd "$srcdir/coq-$pkgver" - - mkdir -p "${pkgdir}/usr/bin" - make COQINSTALLPREFIX="$pkgdir" install-coqide - install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1 - - # Remove toploop files installed by "install-ide-toploop" in the main package - rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs} - 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" - - # Desktop file generated by gendesk - install -D -m 644 "${srcdir}/${pkgname}.desktop" "${pkgdir}/usr/share/applications/${pkgname}.desktop" - install -D -m 644 ide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png" -} - -package_coq-doc() { - pkgdesc="HTML and PDF documentation for the Coq proof assistant" - depends=() - - cd "$srcdir/coq-$pkgver" - - make COQINSTALLPREFIX="$pkgdir" install-doc -} Copied: coq/repos/community-x86_64/PKGBUILD (from rev 822828, coq/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2021-01-18 12:08:19 UTC (rev 822829) @@ -0,0 +1,101 @@ +# Maintainer: Baptiste Jonglez <baptiste--aur at jonglez dot org> +# Contributor: acieroid +# Contributor: spider-mario <spiderma...@free.fr> +# Contributor: Thomas Dziedzic < gostrc at gmail > +# Contributor: George Giorgidze <giorgi...@gmail.com> +# Contributor: William J. Bowman <bluephoeni...@gmail.com> + +pkgbase=coq +pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc") +pkgver=8.13.0 +pkgrel=1 +pkgdesc='Formal proof management system' +arch=('x86_64') +url='https://coq.inria.fr/' +license=('GPL') +groups=('coq') +options=('!emptydirs') +depends=('ocaml>=4.11.0' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3') +makedepends=('ocaml-findlib' + 'lablgtk3' 'gendesk' # coqide + 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc + 'texlive-fontsextra' 'texlive-science' + '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=('c355f0a9183f3669debd5f8f4ab96786215d0cccc37d1c2ac95a2d3c6115c8b0ee7ff7e23464b18444e2648ef3f8c221f0f3a28acf91199751cea2b74ee3fe8e') + +build() { + # generate a desktop file + cd "${srcdir}" + gendesk -f -n --pkgname "${pkgbase}ide" \ + --name "CoqIDE Proof Assistant" \ + --pkgdesc "Graphical interface for the Coq proof assistant" \ + --categories "Development;Science;Math;IDE;GTK" + + # build package + cd "${srcdir}/${pkgbase}-${pkgver}" + + ./configure \ + -prefix '/usr' \ + -mandir '/usr/share/man' \ + -configdir '/etc/xdg/coq/' \ + -coqide opt \ + -with-doc yes + # https://github.com/coq/coq/issues/12332 + SPHINXWARNERROR=0 make world +} + +package_coq() { + depends=('ocaml') + optdepends=('coqide: graphical Coq IDE' + 'coq-doc: offline documentation' + 'coin-or-csdp: for psatz plugin') + # coq-nox was the old name for coq without coqide + replaces=('coq-nox') + conflicts=('coq-nox') + + cd "${srcdir}/${pkgbase}-${pkgver}" + + # fix intermittent bug with folder creation + install -d "${pkgdir}/usr/bin" + + # 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() { + pkgdesc="GTK-based graphical interface for the Coq proof assistant" + depends=("${pkgbase}" 'ocaml' 'gtk3' 'gtksourceview3') + + cd "${srcdir}/${pkgbase}-${pkgver}" + + mkdir -p "${pkgdir}/usr/bin" + make COQINSTALLPREFIX="${pkgdir}" install-coqide + install -D -m 644 -t "${pkgdir}/usr/share/man/man1/" man/coqide.1 + + # Remove toploop files installed by "install-ide-toploop" in the main package + rm -f "${pkgdir}/usr/lib/coq/toploop"/coqidetop.{cma,cmxs} + 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" + + # Desktop file generated by gendesk + install -D -m 644 "${srcdir}/${pkgname}.desktop" "${pkgdir}/usr/share/applications/${pkgname}.desktop" + install -D -m 644 ide/coqide/coq.png "${pkgdir}/usr/share/pixmaps/${pkgname}.png" +} + +package_coq-doc() { + pkgdesc="HTML and PDF documentation for the Coq proof assistant" + depends=() + + cd "${srcdir}/${pkgbase}-${pkgver}" + + make COQINSTALLPREFIX="${pkgdir}" install-doc +}