[arch-commits] Commit in coq/repos (2 files)

[Baptiste Jonglez]

    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 <spidermario at free.fr>
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze <giorgidze at gmail.com>
+# Contributor: William J. Bowman <bluephoenix47 at 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
+}