View Raw Ebuild
# Copyright 1999-2026 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
DESCRIPTION="Ott is a tool for writing definitions of programming languages and calculi. "
HOMEPAGE="http://www.cl.cam.ac.uk/~pes20/ott/"
SRC_URI="https://github.com/ott-lang/ott/archive/${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="BSD"
SLOT="0"
KEYWORDS="~amd64"
IUSE=""
DEPEND=">=dev-lang/ocaml-3.9"
RDEPEND="${DEPEND}"
src_compile() {
emake world
}
src_install() {
dobin bin/ott
}