Date: Friday, November 1, 2019 @ 17:40:25 Author: zorun Revision: 522066
archrelease: copy trunk to community-testing-x86_64 Added: coq/repos/community-testing-x86_64/ coq/repos/community-testing-x86_64/PKGBUILD (from rev 522065, coq/trunk/PKGBUILD) ----------+ PKGBUILD | 97 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 97 insertions(+) Copied: coq/repos/community-testing-x86_64/PKGBUILD (from rev 522065, coq/trunk/PKGBUILD) =================================================================== --- community-testing-x86_64/PKGBUILD (rev 0) +++ community-testing-x86_64/PKGBUILD 2019-11-01 17:40:25 UTC (rev 522066) @@ -0,0 +1,97 @@ +# 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.10.1 +pkgrel=1 +pkgdesc='Formal proof management system' +arch=('x86_64') +url='https://coq.inria.fr/' +license=('GPL') +groups=('coq') +options=('!emptydirs') +depends=('ocaml' '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=('5c6a20e283c351a4b0ecdb393fb77cfc9b72b474453c99c95f52a70da47dd72fff7229c2ef92d61aadade8f2ed6e03c1a7740d0fa2fcc87ea72659f95eceb2dc') + +prepare() { + gendesk -f -n --pkgname "coqide" \ + --name "CoqIDE Proof Assistant" \ + --pkgdesc "Graphical interface for the Coq proof assistant" \ + --categories "Development;Science;Math;IDE;GTK" + cd "$srcdir/coq-$pkgver" +} + +build() { + cd "$srcdir/coq-$pkgver" + + ./configure \ + -prefix '/usr' \ + -mandir '/usr/share/man' \ + -configdir '/etc/xdg/coq/' \ + -coqide opt \ + -with-doc yes + + 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 +}