diff options
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/biniou/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/biniou/biniou-1.2.0.ebuild | 32 |
2 files changed, 0 insertions, 33 deletions
diff --git a/dev-ml/biniou/Manifest b/dev-ml/biniou/Manifest index 30ee39c49d36..8be3c33cfb31 100644 --- a/dev-ml/biniou/Manifest +++ b/dev-ml/biniou/Manifest @@ -1,2 +1 @@ -DIST biniou-1.2.0.tar.gz 23611 BLAKE2B 01f5afada666d23b74f31cf12b5f578f3622c85311d7a1b6eb319843beac4c3ebe8e8e314a47ec14ee0ef6f5c1a5b6dd849dcf24b0c3cc8a38ca6a54d89e4c4d SHA512 04c04c2dd5e3e1237106db257567ba6900bd94759b07b02ba2e0d9209d1bbdc9ed629864e06d44a8b61f72d46fbcc7a0ffc86f82feb223d9d99ca41afc625fab DIST biniou-1.2.1.tar.gz 23970 BLAKE2B 139f17e3fd31f3f834c8111d81cecfa5fa48f860fc4fc898f7896b6d39a9756989504fa88901efaa0f67a51de25cdf304bea2ecabf15ea9cace59b4b311c00e1 SHA512 f0166666559f3a767fdc6987bad45ec4a772b70b8880b6d769ef644c9bfd46962f089c7b5dfff368413015e765daf4bacffe253bdb3478d9a4d30a15f0d29589 diff --git a/dev-ml/biniou/biniou-1.2.0.ebuild b/dev-ml/biniou/biniou-1.2.0.ebuild deleted file mode 100644 index 6a9705355a2a..000000000000 --- a/dev-ml/biniou/biniou-1.2.0.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -inherit findlib - -DESCRIPTION="A binary data serialization format inspired by JSON for OCaml" -HOMEPAGE="https://github.com/mjambon/biniou" -SRC_URI="https://github.com/mjambon/biniou/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -SLOT="0/${PV}" -LICENSE="BSD" -KEYWORDS="~amd64" -IUSE="+ocamlopt" - -RDEPEND=">=dev-lang/ocaml-3.11:=[ocamlopt?] - dev-ml/easy-format:=[ocamlopt?] -" -DEPEND="${RDEPEND} - dev-ml/jbuilder - dev-ml/opam -" - -src_install() { - opam-installer -i \ - --prefix="${ED}/usr" \ - --libdir="${D}/$(ocamlc -where)" \ - --docdir="${ED}/usr/share/doc/${PF}" \ - --mandir="${ED}/usr/share/man" \ - ${PN}.install || die -} |