Date: Sunday, December 5, 2021 @ 16:32:04 Author: kgizdov Revision: 1065193
archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 1065192, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD ----------+ PKGBUILD | 230 ++++++++++++++++++++++++++++++------------------------------- 1 file changed, 115 insertions(+), 115 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2021-12-05 16:31:56 UTC (rev 1065192) +++ PKGBUILD 2021-12-05 16:32:04 UTC (rev 1065193) @@ -1,115 +0,0 @@ -# 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 > -# Contributor: George Giorgidze <giorgi...@gmail.com> -# Contributor: William J. Bowman <bluephoeni...@gmail.com> - -pkgbase=coq -pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc") -pkgver=8.14.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.12.0' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3') -makedepends=('ocaml-findlib' - 'dune' - 'git' - '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=('041b8e8deedefa8b48bf99e87026988b783fcf89ec555ec96c4e64dbf3a230e0b78e8ae9effe6bc738171b58fba725ddafe49abf3a84f332c67f12435c304d5d') - -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}" - - make clean - ./configure \ - -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 - # https://github.com/coq/coq/issues/12332 - CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith SPHINXWARNERROR=0 make world -} - -package_coq() { - depends=('ocaml') - optdepends=('coqide: graphical Coq IDE' - 'coq-doc: offline documentation' - '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') - - cd "${srcdir}/${pkgbase}-${pkgver}" - - # fix intermittent bug with folder creation - install -d "${pkgdir}/usr/bin" - install -d "${pkgdir}/usr/lib/coq" - install -d "${pkgdir}/usr/lib/coq-core" - # Workaround for FS#58203 - 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" - - # 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 -} - -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 DESTDIR="${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" - rm -rf "${pkgdir}/usr/share/coq" - - # 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 DESTDIR="${pkgdir}" install-doc -} Copied: coq/repos/community-x86_64/PKGBUILD (from rev 1065192, coq/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2021-12-05 16:32:04 UTC (rev 1065193) @@ -0,0 +1,115 @@ +# 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 > +# Contributor: George Giorgidze <giorgi...@gmail.com> +# Contributor: William J. Bowman <bluephoeni...@gmail.com> + +pkgbase=coq +pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc") +pkgver=8.14.1 +pkgrel=1 +pkgdesc='Formal proof management system' +arch=('x86_64') +url='https://coq.inria.fr/' +license=('GPL') +groups=('coq') +options=('!emptydirs') +depends=('ocaml>=4.12.0' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3') +makedepends=('ocaml-findlib' + 'dune' + 'git' + '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=('bd761d1577fc30b5a0c6d220c643f177a7604961961ce3d94bc61659db48338e1fa068e23cd1ceb5eef56b592051e0c85fe43a91c38b16a24eec29e12343b5ee') + +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}" + + make clean + ./configure \ + -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 + # https://github.com/coq/coq/issues/12332 + CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith SPHINXWARNERROR=0 make world +} + +package_coq() { + depends=('ocaml') + optdepends=('coqide: graphical Coq IDE' + 'coq-doc: offline documentation' + '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') + + cd "${srcdir}/${pkgbase}-${pkgver}" + + # fix intermittent bug with folder creation + install -d "${pkgdir}/usr/bin" + install -d "${pkgdir}/usr/lib/coq" + install -d "${pkgdir}/usr/lib/coq-core" + # Workaround for FS#58203 + 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" + + # 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 +} + +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 DESTDIR="${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" + rm -rf "${pkgdir}/usr/share/coq" + + # 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 DESTDIR="${pkgdir}" install-doc +}