[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Wednesday, September 7, 2022 @ 09:23:37
Author: kgizdov
Revision: 1296040
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 1296039, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 234 ++---
1 file changed, 117 insertions(+), 117 deletions(-)
Deleted: PKGBUILD
===
--- PKGBUILD2022-09-07 09:23:30 UTC (rev 1296039)
+++ PKGBUILD2022-09-07 09:23:37 UTC (rev 1296040)
@@ -1,117 +0,0 @@
-# Maintainer: Konstantin Gizdov
-# Contributor: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-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
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
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
===
--- PKGBUILD2022-09-05 21:40:35 UTC (rev 1293379)
+++ PKGBUILD2022-09-05 21:40:42 UTC (rev 1293380)
@@ -1,117 +0,0 @@
-# Maintainer: Konstantin Gizdov
-# Contributor: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-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
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Sunday, September 4, 2022 @ 16:01:16
Author: kgizdov
Revision: 1292839
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 1292838, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 234 ++---
1 file changed, 117 insertions(+), 117 deletions(-)
Deleted: PKGBUILD
===
--- PKGBUILD2022-09-04 16:00:56 UTC (rev 1292838)
+++ PKGBUILD2022-09-04 16:01:16 UTC (rev 1292839)
@@ -1,117 +0,0 @@
-# Maintainer: Konstantin Gizdov
-# Contributor: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-pkgbase=coq
-pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.15.0
-pkgrel=3
-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=('be6c799b6635875255f7288b9bae5f9108660308f299823155d41353e96fbed4e41e1fc8896fe9653c095da740a80dbf5a1add6b28d279eb7b65365eeaff54ab')
-
-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
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Tuesday, August 9, 2022 @ 20:36:27
Author: juergen
Revision: 1264573
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 1264572, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 234 ++---
1 file changed, 117 insertions(+), 117 deletions(-)
Deleted: PKGBUILD
===
--- PKGBUILD2022-08-09 20:35:22 UTC (rev 1264572)
+++ PKGBUILD2022-08-09 20:36:27 UTC (rev 1264573)
@@ -1,117 +0,0 @@
-# Maintainer: Konstantin Gizdov
-# Contributor: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-pkgbase=coq
-pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.15.0
-pkgrel=3
-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=('be6c799b6635875255f7288b9bae5f9108660308f299823155d41353e96fbed4e41e1fc8896fe9653c095da740a80dbf5a1add6b28d279eb7b65365eeaff54ab')
-
-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
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Tuesday, August 9, 2022 @ 20:35:22
Author: juergen
Revision: 1264572
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 1264571, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 231 ++---
1 file changed, 117 insertions(+), 114 deletions(-)
Deleted: PKGBUILD
===
--- PKGBUILD2022-08-09 20:34:17 UTC (rev 1264571)
+++ PKGBUILD2022-08-09 20:35:22 UTC (rev 1264572)
@@ -1,114 +0,0 @@
-# Maintainer: Konstantin Gizdov
-# Contributor: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-pkgbase=coq
-pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.15.0
-pkgrel=2
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs' '!strip' 'staticlibs')
-depends=('ocaml>=4.13.1')
-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'
'python-antlr4')
-source=("coq-${pkgver}.tar.gz::https://github.com/coq/coq/archive/V${pkgver}.tar.gz;)
-sha512sums=('be6c799b6635875255f7288b9bae5f9108660308f299823155d41353e96fbed4e41e1fc8896fe9653c095da740a80dbf5a1add6b28d279eb7b65365eeaff54ab')
-
-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/coq/coq/issues/12332
- OCAMLPATH=/usr/lib/ocaml CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith/
SPHINXWARNERROR=0 make world
-}
-
-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 1264571,
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Tuesday, March 8, 2022 @ 14:31:32
Author: kgizdov
Revision: 1145480
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 1145479, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 231 ++---
1 file changed, 114 insertions(+), 117 deletions(-)
Deleted: PKGBUILD
===
--- PKGBUILD2022-03-08 14:31:25 UTC (rev 1145479)
+++ PKGBUILD2022-03-08 14:31:32 UTC (rev 1145480)
@@ -1,117 +0,0 @@
-# Maintainer: Konstantin Gizdov
-# Contributor: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-pkgbase=coq
-pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.15.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.13.1' '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=('be6c799b6635875255f7288b9bae5f9108660308f299823155d41353e96fbed4e41e1fc8896fe9653c095da740a80dbf5a1add6b28d279eb7b65365eeaff54ab')
-
-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/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"
- 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}" '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
- # 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:
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Friday, January 21, 2022 @ 08:39:07
Author: kgizdov
Revision: 952
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 951, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 232 ++---
1 file changed, 117 insertions(+), 115 deletions(-)
Deleted: PKGBUILD
===
--- PKGBUILD2022-01-21 08:38:59 UTC (rev 951)
+++ PKGBUILD2022-01-21 08:39:07 UTC (rev 952)
@@ -1,115 +0,0 @@
-# Maintainer: Konstantin Gizdov
-# Contributor: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-pkgbase=coq
-pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.14.1
-pkgrel=2
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml>=4.13.1' '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
-}
Copied: coq/repos/community-x86_64/PKGBUILD (from rev 951,
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Saturday, December 11, 2021 @ 12:30:37
Author: juergen
Revision: 1068253
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 1068252, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 230 ++---
1 file changed, 115 insertions(+), 115 deletions(-)
Deleted: PKGBUILD
===
--- PKGBUILD2021-12-11 12:30:14 UTC (rev 1068252)
+++ PKGBUILD2021-12-11 12:30:37 UTC (rev 1068253)
@@ -1,115 +0,0 @@
-# Maintainer: Konstantin Gizdov
-# Contributor: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-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
-}
Copied: coq/repos/community-x86_64/PKGBUILD (from rev 1068252,
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
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
===
--- PKGBUILD2021-12-05 16:31:56 UTC (rev 1065192)
+++ PKGBUILD2021-12-05 16:32:04 UTC (rev 1065193)
@@ -1,115 +0,0 @@
-# Maintainer: Konstantin Gizdov
-# Contributor: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-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)
+++
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Wednesday, October 20, 2021 @ 20:20:00
Author: kgizdov
Revision: 1031459
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 1031458, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 228 ++---
1 file changed, 115 insertions(+), 113 deletions(-)
Deleted: PKGBUILD
===
--- PKGBUILD2021-10-20 20:19:20 UTC (rev 1031458)
+++ PKGBUILD2021-10-20 20:20:00 UTC (rev 1031459)
@@ -1,113 +0,0 @@
-# Maintainer: Konstantin Gizdov
-# Contributor: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-pkgbase=coq
-pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.14.0
-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=('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"
-}
-
-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"
-
- # 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 1031458,
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2021-10-20 20:20:00 UTC (rev 1031459)
@@ -0,0 +1,115 @@
+# Maintainer:
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Tuesday, October 19, 2021 @ 21:57:49
Author: kgizdov
Revision: 1031003
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 1031002, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 217 +++--
1 file changed, 113 insertions(+), 104 deletions(-)
Deleted: PKGBUILD
===
--- PKGBUILD2021-10-19 21:57:41 UTC (rev 1031002)
+++ PKGBUILD2021-10-19 21:57:49 UTC (rev 1031003)
@@ -1,104 +0,0 @@
-# Maintainer: Konstantin Gizdov
-# Contributor: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-pkgbase=coq
-pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.13.2
-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'
- '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=('d5c16689a3a08d9be58e15d502e5c9bbe13ce8b9755334d1c096307260a804eeb59116c3a7b5fd85910e7f468ee728c69d04735769998a6e6369bf5352f5ec05')
-
-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}"
-
- ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
- # https://github.com/coq/coq/issues/12332
- 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"
- # Workaround for FS#58203
- mkdir -p "${pkgdir}/usr/lib/ocaml/"
- ln -s /usr/lib/coq "${pkgdir}/usr/lib/ocaml/coq"
-
- # 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"
-}
-
-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 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/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 COQINSTALLPREFIX="${pkgdir}" install-doc
-}
Copied: coq/repos/community-x86_64/PKGBUILD (from rev 1031002,
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2021-10-19 21:57:49 UTC (rev 1031003)
@@ -0,0 +1,113 @@
+# Maintainer: Konstantin Gizdov
+# Contributor: Baptiste Jonglez
+# Contributor: acieroid
+# Contributor: spider-mario
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze
+# Contributor: William J. Bowman
+
+pkgbase=coq
+pkgname=("${pkgbase}"
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Tuesday, July 27, 2021 @ 15:56:14
Author: juergen
Revision: 987800
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 987799, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 208 ++---
1 file changed, 104 insertions(+), 104 deletions(-)
Deleted: PKGBUILD
===
--- PKGBUILD2021-07-27 15:56:07 UTC (rev 987799)
+++ PKGBUILD2021-07-27 15:56:14 UTC (rev 987800)
@@ -1,104 +0,0 @@
-# Maintainer: Konstantin Gizdov
-# Contributor: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-pkgbase=coq
-pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.13.2
-pkgrel=1
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml>=4.11.0' 'ocaml-num' 'ocaml-zarith' '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=('d5c16689a3a08d9be58e15d502e5c9bbe13ce8b9755334d1c096307260a804eeb59116c3a7b5fd85910e7f468ee728c69d04735769998a6e6369bf5352f5ec05')
-
-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}"
-
- ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
- # https://github.com/coq/coq/issues/12332
- 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"
- # Workaround for FS#58203
- mkdir -p "${pkgdir}/usr/lib/ocaml/"
- ln -s /usr/lib/coq "${pkgdir}/usr/lib/ocaml/coq"
-
- # 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"
-}
-
-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 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/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 COQINSTALLPREFIX="${pkgdir}" install-doc
-}
Copied: coq/repos/community-x86_64/PKGBUILD (from rev 987799,
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2021-07-27 15:56:14 UTC (rev 987800)
@@ -0,0 +1,104 @@
+# Maintainer: Konstantin Gizdov
+# Contributor: Baptiste Jonglez
+# Contributor: acieroid
+# Contributor: spider-mario
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze
+# Contributor: William J. Bowman
+
+pkgbase=coq
+pkgname=("${pkgbase}"
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Friday, May 28, 2021 @ 15:46:23
Author: felixonmars
Revision: 949958
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 949957, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 208 ++---
1 file changed, 104 insertions(+), 104 deletions(-)
Deleted: PKGBUILD
===
--- PKGBUILD2021-05-28 15:46:06 UTC (rev 949957)
+++ PKGBUILD2021-05-28 15:46:23 UTC (rev 949958)
@@ -1,104 +0,0 @@
-# Maintainer: Konstantin Gizdov
-# Contributor: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-pkgbase=coq
-pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.13.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.11.0' 'ocaml-num' 'ocaml-zarith' '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=('21544d4177aa40b98daeeaa45684786141eb049b20399ef863a6e1f886d425bee16653b94bd2bb1b3e73eefa6986348eeefaf0c746a75bd4660e4a7417e0b538')
-
-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}"
-
- ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
- # https://github.com/coq/coq/issues/12332
- 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"
- # Workaround for FS#58203
- mkdir -p "${pkgdir}/usr/lib/ocaml/"
- ln -s /usr/lib/coq "${pkgdir}/usr/lib/ocaml/coq"
-
- # 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"
-}
-
-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 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/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 COQINSTALLPREFIX="${pkgdir}" install-doc
-}
Copied: coq/repos/community-x86_64/PKGBUILD (from rev 949957,
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2021-05-28 15:46:23 UTC (rev 949958)
@@ -0,0 +1,104 @@
+# Maintainer: Konstantin Gizdov
+# Contributor: Baptiste Jonglez
+# Contributor: acieroid
+# Contributor: spider-mario
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze
+# Contributor: William J. Bowman
+
+pkgbase=coq
+pkgname=("${pkgbase}"
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Thursday, March 4, 2021 @ 17:13:57
Author: kgizdov
Revision: 880454
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 880453, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 205 ++---
1 file changed, 104 insertions(+), 101 deletions(-)
Deleted: PKGBUILD
===
--- PKGBUILD2021-03-04 17:13:50 UTC (rev 880453)
+++ PKGBUILD2021-03-04 17:13:57 UTC (rev 880454)
@@ -1,101 +0,0 @@
-# Maintainer: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-pkgbase=coq
-pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.13.0
-pkgrel=1
-pkgdesc='Formal proof management system'
-arch=('x86_64')
-url='https://coq.inria.fr/'
-license=('GPL')
-groups=('coq')
-options=('!emptydirs')
-depends=('ocaml>=4.11.0' 'ocaml-num' 'ocaml-zarith' '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=('c355f0a9183f3669debd5f8f4ab96786215d037d1c2ac95a2d3c6115c8b0ee7ff7e23464b18444e2648ef3f8c221f0f3a28acf91199751cea2b74ee3fe8e')
-
-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}"
-
- ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
- # https://github.com/coq/coq/issues/12332
- SPHINXWARNERROR=0 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}/${pkgbase}-${pkgver}"
-
- # fix intermittent bug with folder creation
- install -d "${pkgdir}/usr/bin"
-
- # 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=("${pkgbase}" 'ocaml' 'gtk3' 'gtksourceview3')
-
- cd "${srcdir}/${pkgbase}-${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/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 COQINSTALLPREFIX="${pkgdir}" install-doc
-}
Copied: coq/repos/community-x86_64/PKGBUILD (from rev 880453,
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2021-03-04 17:13:57 UTC (rev 880454)
@@ -0,0 +1,104 @@
+# Maintainer: Konstantin Gizdov
+# Contributor: Baptiste Jonglez
+# Contributor: acieroid
+# Contributor: spider-mario
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze
+# Contributor: William J. Bowman
+
+pkgbase=coq
+pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
+pkgver=8.13.1
+pkgrel=1
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
[arch-commits] Commit in coq/repos/community-x86_64 (PKGBUILD PKGBUILD)
Date: Monday, January 18, 2021 @ 12:08:19
Author: kgizdov
Revision: 822829
archrelease: copy trunk to community-x86_64
Added:
coq/repos/community-x86_64/PKGBUILD
(from rev 822828, coq/trunk/PKGBUILD)
Deleted:
coq/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 197 +++--
1 file changed, 101 insertions(+), 96 deletions(-)
Deleted: PKGBUILD
===
--- PKGBUILD2021-01-18 12:08:12 UTC (rev 822828)
+++ PKGBUILD2021-01-18 12:08:19 UTC (rev 822829)
@@ -1,96 +0,0 @@
-# Maintainer: Baptiste Jonglez
-# Contributor: acieroid
-# Contributor: spider-mario
-# Contributor: Thomas Dziedzic < gostrc at gmail >
-# Contributor: George Giorgidze
-# Contributor: William J. Bowman
-
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.12.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.11.0' '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=('8a64624c578ce0ab781fb3b1f162bd8b095735ad891fdad2fb7c40849afbdc7c1360187c6b62a5ef2982566f4c6c78029240c611ae769943a5250af300eb1240')
-
-prepare() {
- gendesk -f -n --pkgname "coqide" \
---name "CoqIDE Proof Assistant" \
---pkgdesc "Graphical interface for the Coq proof assistant" \
---categories "Development;Science;Math;IDE;GTK"
-}
-
-build() {
- cd "$srcdir/coq-$pkgver"
-
- ./configure \
--prefix '/usr' \
--mandir '/usr/share/man' \
--configdir '/etc/xdg/coq/' \
--coqide opt \
--with-doc yes
- # https://github.com/coq/coq/issues/12332
- SPHINXWARNERROR=0 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
-}
Copied: coq/repos/community-x86_64/PKGBUILD (from rev 822828,
coq/trunk/PKGBUILD)
===
--- PKGBUILD(rev 0)
+++ PKGBUILD2021-01-18 12:08:19 UTC (rev 822829)
@@ -0,0 +1,101 @@
+# Maintainer: Baptiste Jonglez
+# Contributor: acieroid
+# Contributor: spider-mario
+# Contributor: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze
+# Contributor: William J. Bowman
+
+pkgbase=coq
+pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
+pkgver=8.13.0
+pkgrel=1
+pkgdesc='Formal proof management system'
+arch=('x86_64')
+url='https://coq.inria.fr/'
+license=('GPL')
+groups=('coq')
+options=('!emptydirs')
+depends=('ocaml>=4.11.0' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3')
+makedepends=('ocaml-findlib'
+ 'lablgtk3' 'gendesk' # coqide
+ 'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
+
