# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 inherit check-reqs desktop dune edo DESCRIPTION="Coq/Rocq is a proof assistant written in O'Caml" HOMEPAGE="https://coq.inria.fr/ https://github.com/coq/coq/" if [[ "${PV}" == *9999* ]] ; then inherit git-r3 EGIT_REPO_URI="https://github.com/coq/coq" else SRC_URI="https://github.com/coq/coq/archive/V${PV}.tar.gz -> ${P}.tar.gz" KEYWORDS="~amd64 ~arm64" fi LICENSE="LGPL-2.1" SLOT="0/${PV}" IUSE="debug gui native-compiler +ocamlopt test" # TODO: Lots of failing tests. # RESTRICT="!test? ( test )" RESTRICT="test" RDEPEND=" dev-ml/camlzip:= dev-ml/num:= dev-ml/zarith:= gui? ( >=dev-ml/lablgtk-3.1.2:3=[sourceview,ocamlopt?] >=dev-ml/lablgtk-sourceview-3.1.2:3=[ocamlopt?] ) native-compiler? ( /ocaml/ but # Coq wants /usr// ; symlink those directories local sym="" for sym in "${DUNE_PACKAGES[@]}" ; do dosym "${ocamlc_where}/${sym}" "/usr/$(get_libdir)/${sym}" done einstalldocs }