View Raw Ebuild
# Copyright 2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit unpacker
DESCRIPTION="A Functional Language with Effect Types and Handlers"
HOMEPAGE="https://github.com/koka-lang/koka"
SRC_URI="https://github.com/koka-lang/koka/releases/download/v${PV}/koka-v${PV}-linux-x64.tar.gz"
S="${WORKDIR}"
LICENSE="Apache-2.0"
SLOT="0"
KEYWORDS="~amd64"
RESTRICT="strip"
src_install() {
dobin "${S}/bin/koka"
insinto /usr/lib/koka/v${PV}
doins -r "${S}/lib/koka/v${PV}"/*
insinto /usr/share/koka/v${PV}
doins -r "${S}/share/koka/v${PV}"/*
}