[arch-commits] Commit in coq/trunk (PKGBUILD)
Konstantin Gizdov
kgizdov at gemini.archlinux.org
Tue Mar 8 14:31:25 UTC 2022
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
===================================================================
--- PKGBUILD 2022-03-08 14:30:53 UTC (rev 1145478)
+++ PKGBUILD 2022-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}"
More information about the arch-commits
mailing list