mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-06 02:17:34 -08:00
39 lines
765 B
Bash
39 lines
765 B
Bash
# Copyright 2024 Gentoo Authors
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=8
|
|
|
|
inherit dune
|
|
|
|
DESCRIPTION="Package dependency solver"
|
|
HOMEPAGE="https://docs.0install.net/developers/solver/"
|
|
SRC_URI="https://github.com/${PN}/${PN}/releases/download/v${PV}/${P}.tbz"
|
|
|
|
LICENSE="LGPL-2.1+"
|
|
SLOT="0"
|
|
KEYWORDS="~amd64 ~arm ~arm64 ~riscv ~x86"
|
|
|
|
IUSE="+ocamlopt"
|
|
|
|
RDEPEND="
|
|
dev-ml/lwt:=[ocamlopt?]
|
|
dev-ml/ocaml-sha:=[ocamlopt?]
|
|
dev-ml/ocplib-endian:=[ocamlopt?]
|
|
dev-ml/ocurl:=[ocamlopt?]
|
|
dev-ml/react:=
|
|
dev-ml/stdlib-shims:=[ocamlopt?]
|
|
dev-ml/xmlm:=
|
|
dev-ml/yojson:=[ocamlopt?]
|
|
"
|
|
BDEPEND="dev-ml/findlib"
|
|
|
|
RESTRICT="test"
|
|
|
|
src_compile() {
|
|
dune-compile 0install-solver 0install
|
|
}
|
|
|
|
src_install() {
|
|
dune-install 0install-solver 0install
|
|
}
|