summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dev-ml/atdgen/Manifest1
-rw-r--r--dev-ml/atdgen/atdgen-1.10.0.ebuild34
-rw-r--r--dev-ml/atdgen/metadata.xml8
3 files changed, 43 insertions, 0 deletions
diff --git a/dev-ml/atdgen/Manifest b/dev-ml/atdgen/Manifest
new file mode 100644
index 000000000000..117477e5a7b9
--- /dev/null
+++ b/dev-ml/atdgen/Manifest
@@ -0,0 +1 @@
+DIST atdgen-1.10.0.tar.gz 75447 SHA256 f21834bbba8e9365e1c919554dcb6e30d7db3321d49e44987556ae073cd6a272 SHA512 2dba16a0955b591a972bbd790a5344cf7f79c9485b5a064d3206643defe6c56413678aea389d831892ae1c72ff2fcb3a667731a236a7510fa7e9b4a60a128fb8 WHIRLPOOL 06c4e4215b7372a6975dbffed7b18b94a897a2dbdaa4e70a2a69065b2defde9032d4fa80934b6aae72462a69709b6cbec7892dd64e4725d3cedcbf0de89dd682
diff --git a/dev-ml/atdgen/atdgen-1.10.0.ebuild b/dev-ml/atdgen/atdgen-1.10.0.ebuild
new file mode 100644
index 000000000000..99f038f67b65
--- /dev/null
+++ b/dev-ml/atdgen/atdgen-1.10.0.ebuild
@@ -0,0 +1,34 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit findlib
+
+DESCRIPTION="Generates optimized boilerplate OCaml code for JSON and Biniou IO from type definitions"
+HOMEPAGE="https://github.com/mjambon/atdgen"
+SRC_URI="https://github.com/mjambon/atdgen/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+DEPEND="
+ dev-lang/ocaml:=[ocamlopt?]
+ dev-ml/atd:=[ocamlopt?]
+ dev-ml/biniou:=[ocamlopt?]
+ dev-ml/yojson:=
+"
+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/atdgen/metadata.xml b/dev-ml/atdgen/metadata.xml
new file mode 100644
index 000000000000..ffac4d7ebc01
--- /dev/null
+++ b/dev-ml/atdgen/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>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+</maintainer>
+</pkgmetadata>