Date: Monday, September 5, 2022 @ 21:40:42
Author: kgizdov
Revision: 1293380
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 1293379, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
----------+
PKGBUILD | 234 ++++++++++++++++++++++++++++++-------------------------------
1 file changed, 117 insertions(+), 117 deletions(-)
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2022-09-05 21:40:35 UTC (rev 1293379)
+++ PKGBUILD 2022-09-05 21:40:42 UTC (rev 1293380)
@@ -1,117 +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.15.2
-pkgrel=1
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs' '!strip' 'staticlibs')
-depends=('ocaml>=4.14.0')
-makedepends=('ocaml-findlib' 'ocaml-num' 'ocaml-zarith' 'gtk3'
'gtksourceview3' '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' 'antlr4'
'python-antlr4')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz";)
-sha512sums=('6a5487912dedb6e54145bf3f177a091cffe13429ba2f73db7c1cc241fe10e86340c968e19cefba7d680facce55f4e914cbd16a317264b109a6f9a01ec822a8c5')
-
-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/' \
- -nomacintegration \
- -warn-error no \
- -coqide opt \
- -with-doc yes
- # https://github.com/antlr/antlr4/issues/3753
- make -C doc/tools/coqrst/notations
- MAKE_TARGETS="coq coqide revision refman-html doc-stdlib" # refman-pdf is
currently broken
- # https://github.com/coq/coq/issues/12332
- OCAMLPATH=/usr/lib/ocaml CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith/
SPHINXWARNERROR=0 make $MAKE_TARGETS
-}
-
-package_coq() {
- 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"
- ln -s /usr/lib/coqide-server "${pkgdir}/usr/lib/ocaml/coqide-server"
-
- # 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,share/doc}/coqide
-}
-
-package_coqide() {
- pkgdesc="GTK-based graphical interface for the Coq proof assistant"
- depends+=("${pkgbase}" '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
- # Workaround for FS#58203
- install -d "${pkgdir}/usr/lib/ocaml"
- ln -s /usr/lib/coqide "${pkgdir}/usr/lib/ocaml/coqide"
-
- # 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 1293379,
coq/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2022-09-05 21:40:42 UTC (rev 1293380)
@@ -0,0 +1,117 @@
+# 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.16.0
+pkgrel=1
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs' '!strip' 'staticlibs')
+depends=('ocaml>=4.14.0')
+makedepends=('ocaml-findlib' 'ocaml-num' 'ocaml-zarith' 'gtk3'
'gtksourceview3' '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' 'antlr4'
'python-antlr4')
+source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz";)
+sha512sums=('f324b68efcec0680a52c92d6e2fdd340a0e360e7d56d7fc3b4b781af3bec923d2fa2fdbb139b07d2253568a657a09c0d3da4cd5bdf984a6ab913e606056df4b3')
+
+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/' \
+ -nomacintegration \
+ -warn-error no \
+ -coqide opt \
+ -with-doc yes
+ # https://github.com/antlr/antlr4/issues/3753
+ make -C doc/tools/coqrst/notations
+ MAKE_TARGETS="coq coqide revision refman-html doc-stdlib" # refman-pdf is
currently broken
+ # https://github.com/coq/coq/issues/12332
+ OCAMLPATH=/usr/lib/ocaml CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith/
SPHINXWARNERROR=0 make $MAKE_TARGETS
+}
+
+package_coq() {
+ 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"
+ ln -s /usr/lib/coqide-server "${pkgdir}/usr/lib/ocaml/coqide-server"
+
+ # 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,share/doc}/coqide
+}
+
+package_coqide() {
+ pkgdesc="GTK-based graphical interface for the Coq proof assistant"
+ depends+=("${pkgbase}" '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
+ # Workaround for FS#58203
+ install -d "${pkgdir}/usr/lib/ocaml"
+ ln -s /usr/lib/coqide "${pkgdir}/usr/lib/ocaml/coqide"
+
+ # 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
+}
