[arch-commits] Commit in coq/trunk (PKGBUILD)

2022-09-07 Thread Konstantin Gizdov via arch-commits 
Date: Wednesday, September 7, 2022 @ 09:23:30
  Author: kgizdov
Revision: 1296039

upgpkg: coq 8.16.0-2: FS#75831

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-09-07 08:44:49 UTC (rev 1296038)
+++ PKGBUILD2022-09-07 09:23:30 UTC (rev 1296039)
@@ -9,7 +9,7 @@
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
 pkgver=8.16.0
-pkgrel=1
+pkgrel=2
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -16,8 +16,8 @@
 license=('GPL')
 groups=('coq')
 options=('!emptydirs' '!strip' 'staticlibs')
-depends=('ocaml>=4.14.0')
-makedepends=('ocaml-findlib' 'ocaml-num' 'ocaml-zarith' 'gtk3' 
'gtksourceview3' 'dune' 'git'
+depends=('ocaml>=4.14.0' 'ocaml-findlib')
+makedepends=('ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3' 'dune' 'git'
  'lablgtk3' 'gendesk' # coqide
  'texlive-bin' 'texlive-latexextra' 'texlive-pictures' # coq-doc
  'texlive-fontsextra' 'texlive-science'

[arch-commits] Commit in coq/trunk (PKGBUILD)

2022-09-05 Thread Konstantin Gizdov via arch-commits 
Date: Monday, September 5, 2022 @ 21:40:35
  Author: kgizdov
Revision: 1293379

upgpkg: coq 8.16.0-1

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-09-05 21:40:34 UTC (rev 1293378)
+++ PKGBUILD2022-09-05 21:40:35 UTC (rev 1293379)
@@ -8,7 +8,7 @@
 
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.15.2
+pkgver=8.16.0
 pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
@@ -25,7 +25,7 @@
  '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')
+sha512sums=('f324b68efcec0680a52c92d6e2fdd340a0e360e7d56d7fc3b4b781af3bec923d2fa2fdbb139b07d2253568a657a09c0d3da4cd5bdf984a6ab913e606056df4b3')
 
 build() {
   # generate a desktop file

[arch-commits] Commit in coq/trunk (PKGBUILD)

2022-09-04 Thread Konstantin Gizdov via arch-commits 
Date: Sunday, September 4, 2022 @ 16:00:56
  Author: kgizdov
Revision: 1292838

upgpkg: coq 8.15.2-1

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-09-04 14:54:22 UTC (rev 1292837)
+++ PKGBUILD2022-09-04 16:00:56 UTC (rev 1292838)
@@ -8,8 +8,8 @@
 
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.15.0
-pkgrel=3
+pkgver=8.15.2
+pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -25,7 +25,7 @@
  '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')
+sha512sums=('6a5487912dedb6e54145bf3f177a091cffe13429ba2f73db7c1cc241fe10e86340c968e19cefba7d680facce55f4e914cbd16a317264b109a6f9a01ec822a8c5')
 
 build() {
   # generate a desktop file

[arch-commits] Commit in coq/trunk (PKGBUILD)

2022-08-09 Thread Jürgen Hötzel via arch-commits 
Date: Tuesday, August 9, 2022 @ 18:50:15
  Author: juergen
Revision: 1264486

OCaml 4.14.0 rebuild. Disable broken PDF docs.

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |   11 +++
 1 file changed, 7 insertions(+), 4 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-08-09 18:49:13 UTC (rev 1264485)
+++ PKGBUILD2022-08-09 18:50:15 UTC (rev 1264486)
@@ -9,7 +9,7 @@
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
 pkgver=8.15.0
-pkgrel=2
+pkgrel=3
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -16,7 +16,7 @@
 license=('GPL')
 groups=('coq')
 options=('!emptydirs' '!strip' 'staticlibs')
-depends=('ocaml>=4.13.1')
+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
@@ -23,7 +23,7 @@
  'texlive-fontsextra' 'texlive-science'
  'fig2dev' 'imagemagick' 'hevea' 'ghostscript'
  'python' 'python-sphinx' 'python-sphinx_rtd_theme' 
'python-pexpect'
- 'python-beautifulsoup4' 'python-sphinxcontrib-bibtex' 
'python-antlr4')
+ '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')
 
@@ -47,8 +47,11 @@
 -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 world
+  OCAMLPATH=/usr/lib/ocaml CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith/ 
SPHINXWARNERROR=0 make $MAKE_TARGETS
 }
 
 package_coq() {

[arch-commits] Commit in coq/trunk (PKGBUILD)

2022-03-08 Thread Konstantin Gizdov via arch-commits 
Date: Tuesday, March 8, 2022 @ 14:31:25
  Author: kgizdov
Revision: 1145479

fix FTBFS

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |   13 +
 1 file changed, 5 insertions(+), 8 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-03-08 14:30:53 UTC (rev 1145478)
+++ PKGBUILD2022-03-08 14:31:25 UTC (rev 1145479)
@@ -9,7 +9,7 @@
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
 pkgver=8.15.0
-pkgrel=1
+pkgrel=2
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -16,10 +16,8 @@
 license=('GPL')
 groups=('coq')
 options=('!emptydirs' '!strip' 'staticlibs')
-depends=('ocaml>=4.13.1' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3')
-makedepends=('ocaml-findlib'
- 'dune'
- 'git'
+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'
@@ -50,11 +48,10 @@
 -coqide opt \
 -with-doc yes
   # https://github.com/coq/coq/issues/12332
-  CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith SPHINXWARNERROR=0 make world
+  OCAMLPATH=/usr/lib/ocaml 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'
@@ -84,7 +81,7 @@
 
 package_coqide() {
   pkgdesc="GTK-based graphical interface for the Coq proof assistant"
-  depends=("${pkgbase}" 'ocaml' 'gtk3' 'gtksourceview3')
+  depends+=("${pkgbase}" 'gtk3' 'gtksourceview3')
 
   cd "${srcdir}/${pkgbase}-${pkgver}"

[arch-commits] Commit in coq/trunk (PKGBUILD)

2022-01-21 Thread Konstantin Gizdov via arch-commits 
Date: Friday, January 21, 2022 @ 08:38:59
  Author: kgizdov
Revision: 951

upgpkg: coq 8.15.0-1

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |   16 +---
 1 file changed, 9 insertions(+), 7 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2022-01-21 08:38:24 UTC (rev 950)
+++ PKGBUILD2022-01-21 08:38:59 UTC (rev 951)
@@ -8,14 +8,14 @@
 
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.14.1
-pkgrel=2
+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')
+options=('!emptydirs' '!strip' 'staticlibs')
 depends=('ocaml>=4.13.1' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3')
 makedepends=('ocaml-findlib'
  'dune'
@@ -27,7 +27,7 @@
  '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')
+sha512sums=('be6c799b6635875255f7288b9bae5f9108660308f299823155d41353e96fbed4e41e1fc8896fe9653c095da740a80dbf5a1add6b28d279eb7b65365eeaff54ab')
 
 build() {
   # generate a desktop file
@@ -45,9 +45,7 @@
 -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
@@ -75,12 +73,13 @@
   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}/coqide
+  rm -rf "${pkgdir}"/usr/{bin,doc,lib,share/doc}/coqide
 }
 
 package_coqide() {
@@ -92,6 +91,9 @@
   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}

[arch-commits] Commit in coq/trunk (PKGBUILD)

2021-12-11 Thread Jürgen Hötzel via arch-commits 
Date: Saturday, December 11, 2021 @ 12:30:14
  Author: juergen
Revision: 1068252

OCaml 4.13.1 rebuild

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-12-11 12:29:57 UTC (rev 1068251)
+++ PKGBUILD2021-12-11 12:30:14 UTC (rev 1068252)
@@ -9,7 +9,7 @@
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
 pkgver=8.14.1
-pkgrel=1
+pkgrel=2
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -16,7 +16,7 @@
 license=('GPL')
 groups=('coq')
 options=('!emptydirs')
-depends=('ocaml>=4.12.0' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3')
+depends=('ocaml>=4.13.1' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3')
 makedepends=('ocaml-findlib'
  'dune'
  'git'

[arch-commits] Commit in coq/trunk (PKGBUILD)

2021-12-05 Thread Konstantin Gizdov via arch-commits 
Date: Sunday, December 5, 2021 @ 16:31:56
  Author: kgizdov
Revision: 1065192

upgpkg: coq 8.14.1-1

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-12-05 16:21:05 UTC (rev 1065191)
+++ PKGBUILD2021-12-05 16:31:56 UTC (rev 1065192)
@@ -8,8 +8,8 @@
 
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.14.0
-pkgrel=2
+pkgver=8.14.1
+pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -27,7 +27,7 @@
  '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')
+sha512sums=('bd761d1577fc30b5a0c6d220c643f177a7604961961ce3d94bc61659db48338e1fa068e23cd1ceb5eef56b592051e0c85fe43a91c38b16a24eec29e12343b5ee')
 
 build() {
   # generate a desktop file

[arch-commits] Commit in coq/trunk (PKGBUILD)

2021-10-20 Thread Konstantin Gizdov via arch-commits 
Date: Wednesday, October 20, 2021 @ 20:19:20
  Author: kgizdov
Revision: 1031458

upgpkg: coq 8.14.0-2: fix file conflict

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-10-20 20:19:04 UTC (rev 1031457)
+++ PKGBUILD2021-10-20 20:19:20 UTC (rev 1031458)
@@ -9,7 +9,7 @@
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
 pkgver=8.14.0
-pkgrel=1
+pkgrel=2
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -80,6 +80,7 @@
   # 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() {
@@ -97,6 +98,7 @@
   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"

[arch-commits] Commit in coq/trunk (PKGBUILD)

2021-10-19 Thread Konstantin Gizdov via arch-commits 
Date: Tuesday, October 19, 2021 @ 21:57:41
  Author: kgizdov
Revision: 1031002

upgpkg: coq 8.14.0-1: upgpkg: coq 8.14.0-1

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |   25 +
 1 file changed, 17 insertions(+), 8 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-10-19 21:11:37 UTC (rev 1031001)
+++ PKGBUILD2021-10-19 21:57:41 UTC (rev 1031002)
@@ -8,8 +8,8 @@
 
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.13.2
-pkgrel=2
+pkgver=8.14.0
+pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -18,6 +18,8 @@
 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'
@@ -25,7 +27,7 @@
  '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')
+sha512sums=('041b8e8deedefa8b48bf99e87026988b783fcf89ec555ec96c4e64dbf3a230e0b78e8ae9effe6bc738171b58fba725ddafe49abf3a84f332c67f12435c304d5d')
 
 build() {
   # generate a desktop file
@@ -38,14 +40,19 @@
   # 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
-  SPHINXWARNERROR=0 make world
+  CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith SPHINXWARNERROR=0 make world
 }
 
 package_coq() {
@@ -63,13 +70,15 @@
   # 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
-  mkdir -p "${pkgdir}/usr/lib/ocaml/"
+  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 COQINSTALLPREFIX="${pkgdir}" install-coq install-ide-toploop 
install-meta
+  make DESTDIR="${pkgdir}" install-coq install-coqide
   rm -f "${pkgdir}/usr/share/man/man1/coqide.1"
 }
 
@@ -80,7 +89,7 @@
   cd "${srcdir}/${pkgbase}-${pkgver}"
 
   mkdir -p "${pkgdir}/usr/bin"
-  make COQINSTALLPREFIX="${pkgdir}" install-coqide
+  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
@@ -100,5 +109,5 @@
 
   cd "${srcdir}/${pkgbase}-${pkgver}"
 
-  make COQINSTALLPREFIX="${pkgdir}" install-doc
+  make DESTDIR="${pkgdir}" install-doc
 }

[arch-commits] Commit in coq/trunk (PKGBUILD)

2021-07-27 Thread Jürgen Hötzel via arch-commits 
Date: Tuesday, July 27, 2021 @ 15:56:07
  Author: juergen
Revision: 987799

ocaml-4.12.0 rebuild

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-07-27 15:55:48 UTC (rev 987798)
+++ PKGBUILD2021-07-27 15:56:07 UTC (rev 987799)
@@ -9,7 +9,7 @@
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
 pkgver=8.13.2
-pkgrel=1
+pkgrel=2
 pkgdesc='Formal proof management system'
 arch=('x86_64')
 url='https://coq.inria.fr/'
@@ -16,7 +16,7 @@
 license=('GPL')
 groups=('coq')
 options=('!emptydirs')
-depends=('ocaml>=4.11.0' 'ocaml-num' 'ocaml-zarith' 'gtk3' 'gtksourceview3')
+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

[arch-commits] Commit in coq/trunk (PKGBUILD)

2021-05-28 Thread Felix Yan via arch-commits 
Date: Friday, May 28, 2021 @ 15:46:06
  Author: felixonmars
Revision: 949957

upgpkg: coq 8.13.2-1

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-05-28 15:46:00 UTC (rev 949956)
+++ PKGBUILD2021-05-28 15:46:06 UTC (rev 949957)
@@ -8,7 +8,7 @@
 
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.13.1
+pkgver=8.13.2
 pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
@@ -25,7 +25,7 @@
  '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')
+sha512sums=('d5c16689a3a08d9be58e15d502e5c9bbe13ce8b9755334d1c096307260a804eeb59116c3a7b5fd85910e7f468ee728c69d04735769998a6e6369bf5352f5ec05')
 
 build() {
   # generate a desktop file

[arch-commits] Commit in coq/trunk (PKGBUILD)

2021-03-04 Thread Konstantin Gizdov via arch-commits 
Date: Thursday, March 4, 2021 @ 17:13:50
  Author: kgizdov
Revision: 880453

upgpkg: coq 8.13.1-1

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |   17 ++---
 1 file changed, 10 insertions(+), 7 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-03-04 17:08:39 UTC (rev 880452)
+++ PKGBUILD2021-03-04 17:13:50 UTC (rev 880453)
@@ -1,4 +1,5 @@
-# Maintainer: Baptiste Jonglez 
+# Maintainer: Konstantin Gizdov 
+# Contributor: Baptiste Jonglez 
 # Contributor: acieroid
 # Contributor: spider-mario 
 # Contributor: Thomas Dziedzic < gostrc at gmail >
@@ -7,7 +8,7 @@
 
 pkgbase=coq
 pkgname=("${pkgbase}" "${pkgbase}ide" "${pkgbase}-doc")
-pkgver=8.13.0
+pkgver=8.13.1
 pkgrel=1
 pkgdesc='Formal proof management system'
 arch=('x86_64')
@@ -24,7 +25,7 @@
  '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')
+sha512sums=('21544d4177aa40b98daeeaa45684786141eb049b20399ef863a6e1f886d425bee16653b94bd2bb1b3e73eefa6986348eeefaf0c746a75bd4660e4a7417e0b538')
 
 build() {
   # generate a desktop file
@@ -51,7 +52,8 @@
   depends=('ocaml')
   optdepends=('coqide: graphical Coq IDE'
   'coq-doc: offline documentation'
-  'coin-or-csdp: for psatz plugin')
+  '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')
@@ -60,14 +62,15 @@
 
   # 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"
-  # Workaround for FS#58203
-  mkdir -p "${pkgdir}/usr/lib/ocaml/"
-  ln -s /usr/lib/coq "${pkgdir}/usr/lib/ocaml/coq"
 }
 
 package_coqide() {

[arch-commits] Commit in coq/trunk (PKGBUILD)

2021-01-18 Thread Konstantin Gizdov via arch-commits 
Date: Monday, January 18, 2021 @ 12:08:12
  Author: kgizdov
Revision: 822828

upgpkg: coq 8.13.0-1

Modified:
  coq/trunk/PKGBUILD

--+
 PKGBUILD |   45 +
 1 file changed, 25 insertions(+), 20 deletions(-)

Modified: PKGBUILD
===
--- PKGBUILD2021-01-18 11:56:38 UTC (rev 822827)
+++ PKGBUILD2021-01-18 12:08:12 UTC (rev 822828)
@@ -5,9 +5,10 @@
 # Contributor: George Giorgidze 
 # Contributor: William J. Bowman 
 
-pkgname=('coq' 'coqide' 'coq-doc')
-pkgver=8.12.0
-pkgrel=2
+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/'
@@ -14,7 +15,7 @@
 license=('GPL')
 groups=('coq')
 options=('!emptydirs')
-depends=('ocaml>=4.11.0' 'ocaml-num' 'gtk3' 'gtksourceview3')
+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
@@ -23,17 +24,18 @@
  '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')
+sha512sums=('c355f0a9183f3669debd5f8f4ab96786215d037d1c2ac95a2d3c6115c8b0ee7ff7e23464b18444e2648ef3f8c221f0f3a28acf91199751cea2b74ee3fe8e')
 
-prepare() {
-  gendesk -f -n --pkgname "coqide" \
+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() {
-  cd "$srcdir/coq-$pkgver"
+  # build package
+  cd "${srcdir}/${pkgbase}-${pkgver}"
 
   ./configure \
 -prefix '/usr' \
@@ -54,25 +56,28 @@
   replaces=('coq-nox')
   conflicts=('coq-nox')
 
-  cd "$srcdir/coq-$pkgver"
+  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
+  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"
+  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')
+  depends=("${pkgbase}" 'ocaml' 'gtk3' 'gtksourceview3')
 
-  cd "$srcdir/coq-$pkgver"
+  cd "${srcdir}/${pkgbase}-${pkgver}"
 
   mkdir -p "${pkgdir}/usr/bin"
-  make COQINSTALLPREFIX="$pkgdir" install-coqide
+  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
@@ -83,7 +88,7 @@
 
   # 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"
+  install -D -m 644 ide/coqide/coq.png 
"${pkgdir}/usr/share/pixmaps/${pkgname}.png"
 }
 
 package_coq-doc() {
@@ -90,7 +95,7 @@
   pkgdesc="HTML and PDF documentation for the Coq proof assistant"
   depends=()
 
-  cd "$srcdir/coq-$pkgver"
+  cd "${srcdir}/${pkgbase}-${pkgver}"
 
-  make COQINSTALLPREFIX="$pkgdir" install-doc
+  make COQINSTALLPREFIX="${pkgdir}" install-doc
 }