Instantly share code, notes, and snippets.

Embed
What would you like to do?
Ebuild for SATySFi
# Copyright 2018 Kazuki Maeda <kmaeda@kmaeda.net>
# Distributed under the terms of the GNU General Public License v2
EAPI=7
inherit git-r3
DESCRIPTION="A statically-typed, functional typesetting system"
HOMEPAGE="https://github.com/gfngfn/SATySFi"
LICENSE="LGPL-3"
SLOT="0"
KEYWORDS="~x86 ~amd64"
EGIT_REPO_URI="https://github.com/gfngfn/SATySFi.git"
GIT_EXTERNAL_REPO_URI="https://github.com/gfngfn/satysfi-external-repo.git"
RDEPEND=""
DEPEND="${DEPEND}
dev-lang/ruby
>=dev-ml/opam-2.0.0
>=dev-lang/ocaml-4.06.0
"
src_prepare() {
default
opam init --no-setup || die
eval $(opam env)
opam repository add satysfi-external ${GIT_EXTERNAL_REPO_URI}
opam pin -yn add satysfi .
}
src_compile() {
opam install -y --deps-only satysfi
opam install -y --destdir=usr satysfi
rm -r usr/lib
mv usr/{,share/}doc
mv usr/share/doc/satysfi{,-${PV}}
}
src_install() {
mv usr ${D}
}
@kmaed

This comment has been minimized.

Copy link
Owner

kmaed commented Dec 23, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment