dev-ml/merlin-extend: initial import; ebuild by me

Package-Manager: Portage-2.3.3, Repoman-2.3.1
johu · Feb 24, 2017 · 9103417 · 9103417
1 parent 3eb4ad2
commit 9103417
Show file tree

Hide file tree

Showing 3 changed files with 35 additions and 0 deletions.
diff --git a/dev-ml/merlin-extend/Manifest b/dev-ml/merlin-extend/Manifest
@@ -0,0 +1 @@
+DIST merlin-extend-0.3.tar.gz 15422 SHA256 dba21fadd9701acf39505bbe08b9ceb59987f21b762914af129964a28e29537f SHA512 1e6436299b38c7fa57ae5b681a1409795545bc6f5956d6b1c37cbfdbdabfd90da476c030067fe2e016c823d60d1e5498c4536c869bf58425e1a6ff78295efba4 WHIRLPOOL 304295795fec72e67796c965b9e4e6c8d512b94e676b8948520b183dd20040821a9187d9dacbfe2394f1b7a157af122cb9f58b8364266e8cb048bf31036e9126
diff --git a/dev-ml/merlin-extend/merlin-extend-0.3.ebuild b/dev-ml/merlin-extend/merlin-extend-0.3.ebuild
@@ -0,0 +1,26 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="SDK to extend Merlin"
+HOMEPAGE="https://github.com/let-def/merlin-extend"
+SRC_URI="https://github.com/let-def/merlin-extend/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND="dev-lang/ocaml:="
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND}
+	dev-ml/cppo"
+
+src_install() {
+	findlib_src_preinst
+	default
+}
diff --git a/dev-ml/merlin-extend/metadata.xml b/dev-ml/merlin-extend/metadata.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<maintainer type="project">
+	<email>[email protected]</email>
+	<name>Gentoo ML Project</name>
+</maintainer>
+</pkgmetadata>
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		DIST merlin-extend-0.3.tar.gz 15422 SHA256 dba21fadd9701acf39505bbe08b9ceb59987f21b762914af129964a28e29537f SHA512 1e6436299b38c7fa57ae5b681a1409795545bc6f5956d6b1c37cbfdbdabfd90da476c030067fe2e016c823d60d1e5498c4536c869bf58425e1a6ff78295efba4 WHIRLPOOL 304295795fec72e67796c965b9e4e6c8d512b94e676b8948520b183dd20040821a9187d9dacbfe2394f1b7a157af122cb9f58b8364266e8cb048bf31036e9126