diff options
author | Alexis Ballier <aballier@gentoo.org> | 2016-02-05 17:57:03 +0100 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2016-02-05 21:59:02 +0100 |
commit | 312a82fc460ae0036ee8924722da67433e0a9634 (patch) | |
tree | 8f73998b262447889997dbe9581e99600d1b6033 /dev-ml/ppx_bin_prot | |
parent | dev-ml/typerep: Fix install method and license (diff) | |
download | gentoo-312a82fc460ae0036ee8924722da67433e0a9634.tar.gz gentoo-312a82fc460ae0036ee8924722da67433e0a9634.tar.bz2 gentoo-312a82fc460ae0036ee8924722da67433e0a9634.zip |
dev-ml/ppx_bin_prot: Use proper install method
Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_bin_prot')
-rw-r--r-- | dev-ml/ppx_bin_prot/ppx_bin_prot-113.24.00.ebuild | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/dev-ml/ppx_bin_prot/ppx_bin_prot-113.24.00.ebuild b/dev-ml/ppx_bin_prot/ppx_bin_prot-113.24.00.ebuild index b807702aa32a..50cf6692c41d 100644 --- a/dev-ml/ppx_bin_prot/ppx_bin_prot-113.24.00.ebuild +++ b/dev-ml/ppx_bin_prot/ppx_bin_prot-113.24.00.ebuild @@ -23,7 +23,24 @@ DEPEND="dev-ml/ppx_tools:= " RDEPEND="${DEPEND}" +DEPEND="${DEPEND} dev-ml/opam" S="${WORKDIR}/${MY_P}" -DOCS=( CHANGES.md ) +src_configure() { + emake setup.exe + OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure +} + +src_compile() { + emake +} + +src_install() { + opam-installer -i \ + --prefix="${ED}/usr" \ + --libdir="${D}/$(ocamlc -where)" \ + --docdir="${ED}/usr/share/doc/${PF}" \ + ${PN}.install || die + dodoc CHANGES.md +} |