millerson.name/gentoo
2
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-10 00:04:51 +03:00
Code Packages Projects Releases Wiki Activity

sci-mathematics/coq-serapi: introduce COQ_MIN_V

Browse Source 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2023-03-15 00:54:31 +01:00
parent 5845e37ea1
commit aaa95b088c
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
View File

@@ -3,7 +3,8 @@
EAPI=8
COQV=8.16.0
COQ_MIN_V=8.16.0
COQ_MAX_V=8.17.0
inherit elisp-common dune
@@ -13,7 +14,7 @@ HOMEPAGE="https://github.com/ejgallego/coq-serapi/"
# The tarball in SRC_URI is comprised of <supported coq>+<package version>
SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz
-> ${P}.tar.gz"
S="${WORKDIR}"/${PN}-${COQV}-${PV}
S="${WORKDIR}"/${PN}-${COQ_MIN_V}-${PV}
LICENSE="GPL-3+"
SLOT="0/${PV}"
@@ -22,7 +23,7 @@ IUSE="emacs +ocamlopt test"
RESTRICT="!test? ( test )"
RDEPEND="
>=sci-mathematics/coq-${COQV}:= <sci-mathematics/coq-8.17:=
>=sci-mathematics/coq-${COQ_MIN_V}:= <sci-mathematics/coq-${COQ_MAX_V}:=
>=dev-ml/ppx_sexp_conv-0.13.0:=
dev-ml/cmdliner:=
dev-ml/ppx_compare:=