Skip to content

Instantly share code, notes, and snippets.

@kmaed
Last active September 11, 2021 15:22
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save kmaed/1ce4015b8a5266cedaadac667374f047 to your computer and use it in GitHub Desktop.
Save kmaed/1ce4015b8a5266cedaadac667374f047 to your computer and use it in GitHub Desktop.
Ebuild for SATySFi
# Copyright 2018-2021 Kazuki Maeda <kmaeda@kmaeda.net>
# Distributed under the terms of the GNU General Public License v2
EAPI=8
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.10.0
"
src_unpack() {
git-r3_src_unpack
cd ${S}
opam init --no-setup || die
eval $(opam env)
opam repository add satysfi-external ${GIT_EXTERNAL_REPO_URI}
opam pin -yn add satysfi .
CHECK_IF_PREINSTALLED=false opam install -y --deps-only satysfi
./download-fonts.sh
}
src_compile() {
opam install -y --destdir=usr satysfi
perl -i -ple 's/\/usr\/local/usr/' install-libs.sh
./install-libs.sh
}
src_install() {
mv usr ${D}/
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment