[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)

Konstantin Gizdov kgizdov at gemini.archlinux.org
Sun Dec 5 16:32:04 UTC 2021


    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 <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>
-
-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 <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>
+
+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
+}



More information about the arch-commits mailing list