dev-ml/atd: Initial import. Ebuild by me.

Package-Manager: Portage-2.3.5, Repoman-2.3.2
johu · Apr 1, 2017 · 2b92656 · 2b92656
1 parent 356ff41
commit 2b92656
Show file tree

Hide file tree

Showing 3 changed files with 41 additions and 0 deletions.
diff --git a/dev-ml/atd/Manifest b/dev-ml/atd/Manifest
@@ -0,0 +1 @@
+DIST atd-1.2.0.tar.gz 41300 SHA256 488e06e406824efab12f53845b648c1a592c2c8349d4ac1e12b94ce61e7453e9 SHA512 a52824c9784ac0f4d6f314972fa1d92be14730de3c6bde04032004579ac27408385bd4fa7d926f9d564657eb62050fd732a032f364bada62a1dc7a8acfacb727 WHIRLPOOL b0fe31df2282e5533c6c5bc769a9dfedfc60b5457ccf5e0b7fed82d1da287b72cee3bf1133891e2abe674afb70df781a94200e17bdb0011a45af3f492ae38b1e
diff --git a/dev-ml/atd/atd-1.2.0.ebuild b/dev-ml/atd/atd-1.2.0.ebuild
@@ -0,0 +1,32 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit findlib
+
+DESCRIPTION="Syntax for cross-language type definitions"
+HOMEPAGE="https://github.com/mjambon/atd"
+SRC_URI="https://github.com/mjambon/atd/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+DEPEND="
+	dev-lang/ocaml:=[ocamlopt?]
+	dev-ml/easy-format:=[ocamlopt?]
+"
+RDEPEND="${DEPEND}"
+
+src_compile() {
+	emake -j1 all
+	use ocamlopt && emake opt
+}
+
+src_install() {
+	dodir /usr/bin
+	PREFIX="${ED}/usr" findlib_src_install
+	dodoc README.md
+}
diff --git a/dev-ml/atd/metadata.xml b/dev-ml/atd/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 atd-1.2.0.tar.gz 41300 SHA256 488e06e406824efab12f53845b648c1a592c2c8349d4ac1e12b94ce61e7453e9 SHA512 a52824c9784ac0f4d6f314972fa1d92be14730de3c6bde04032004579ac27408385bd4fa7d926f9d564657eb62050fd732a032f364bada62a1dc7a8acfacb727 WHIRLPOOL b0fe31df2282e5533c6c5bc769a9dfedfc60b5457ccf5e0b7fed82d1da287b72cee3bf1133891e2abe674afb70df781a94200e17bdb0011a45af3f492ae38b1e