gentoo-ebuilds/dev-ml/ptime/ptime-1.1.0.ebuild
Maciej Barć 7d9855c06d
dev-ml/ptime: bump to 1.1.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
2023-08-27 14:42:46 +02:00

31 lines
550 B
Bash

# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit opam findlib
DESCRIPTION="POSIX time for OCaml"
HOMEPAGE="
https://erratique.ch/software/ptime
https://github.com/dbuenzli/ptime
https://opam.ocaml.org/packages/ptime/
"
SRC_URI="https://erratique.ch/software/ptime/releases/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
KEYWORDS="~amd64"
RDEPEND=""
DEPEND="
${RDEPEND}
dev-ml/topkg
"
BDEPEND="dev-ml/ocamlbuild"
OPAM_FILE=opam
src_compile() {
ocaml pkg/pkg.ml build || die
}