summaryrefslogtreecommitdiff
path: root/dev-ml/atd
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/atd')
-rw-r--r--dev-ml/atd/Manifest7
-rw-r--r--dev-ml/atd/atd-1.12.0.ebuild46
-rw-r--r--dev-ml/atd/atd-1.2.0.ebuild33
-rw-r--r--dev-ml/atd/atd-1.2.1.ebuild34
-rw-r--r--dev-ml/atd/metadata.xml11
5 files changed, 131 insertions, 0 deletions
diff --git a/dev-ml/atd/Manifest b/dev-ml/atd/Manifest
new file mode 100644
index 000000000000..dc502dc743cf
--- /dev/null
+++ b/dev-ml/atd/Manifest
@@ -0,0 +1,7 @@
+DIST atd-1.12.0.tar.gz 145428 SHA256 3e81d562e74374b98c0f383c1ded46beb06d8416d2065645fd68d3b8b0238ddd SHA512 c24601b276da7837bc896bb42b2e0fa91ebfbf07759560c2490ed44bef722dcf8d586aaba1e62abff262805cab89996835611ab9fb68aa096dfc84bb55365475 WHIRLPOOL c39967976d80053680004e8c912af1d37da96e97f76e7056a89fb996ff629aec367ba68cc9783932b9fb49918ed60ef209a80af975535bc0382255e80b7d79c7
+DIST atd-1.2.0.tar.gz 41300 SHA256 488e06e406824efab12f53845b648c1a592c2c8349d4ac1e12b94ce61e7453e9 SHA512 a52824c9784ac0f4d6f314972fa1d92be14730de3c6bde04032004579ac27408385bd4fa7d926f9d564657eb62050fd732a032f364bada62a1dc7a8acfacb727 WHIRLPOOL b0fe31df2282e5533c6c5bc769a9dfedfc60b5457ccf5e0b7fed82d1da287b72cee3bf1133891e2abe674afb70df781a94200e17bdb0011a45af3f492ae38b1e
+DIST atd-1.2.1.tar.gz 39018 SHA256 515663f1c48c3592e360079f92eea6db82d3d989f1df19b45e8179aec0d48e34 SHA512 5dde8dd1e6ca53ae2ff7efc873211079678a824ae7a9d4182d58e3e10ce50a9dcd705de7168a8cfb12ea3d030a0d01b2485d436e77bfa48c14df7628b47161dc WHIRLPOOL 666cb45158769c98f1bd6b30e045447441cea0cfd54d803b88a3e1ae3b2fd355e351f5cfa5e86c8f96e9dbf44d56920748b639f31f7b4787f0d5f634ef7c2c57
+EBUILD atd-1.12.0.ebuild 840 SHA256 795b1b8f288ff4dad3dc09f7cab36898bb7dfb17684ea42bbc459c1e1400c9b8 SHA512 99c118a0ac6c6803a0bccc3b427b1dc292b2ba685bf59867b281919c129b14cddb603c9fbd7047acbba0d3cbd6ed652b239d57aeb4b2e8a9871f1e2fe45635c6 WHIRLPOOL 2052ac737c9b03839130ba50302025ec823168825de7a19659d1297c756a7b4d0e75901b4274ee9e07fc1bfed0e053c0d0ef75011e0d60c2b227c288a19a905c
+EBUILD atd-1.2.0.ebuild 650 SHA256 a4190061b6e7c91536f916e1fa05844b6d0b4ac04bbfa852e81c6ae2410e8ad9 SHA512 727734e5c910ee7bd17fda58fa7135a82310ecab74854d6b2e854a85eed233baf8ee65909140907a0e86ad4fe2ec44f11bcdbfb183412c7eb83c5b8acc5c0c14 WHIRLPOOL c2585ab74ba3fe1a78c7070ca293aa0bb797dcbf5963fca6fd7ee0e716b9c8570649272899b085f6c4c65e2ac564015f8749dccaa78bca1419ba7af6790e660a
+EBUILD atd-1.2.1.ebuild 713 SHA256 a1fca1eb060ecd8cf02e3f9372290fb956d37ea3982497b387c78d16f4655191 SHA512 836c383552787eedb784c28069e82b07560d544c3c809c610a3d5ac46d4e35b88ead5e6f0fcb42d8678090a295cdf6c7ef7a42b38d81e2faecaf269fc0407377 WHIRLPOOL b2990853945dd878269b4d614156627a1caa1b8c9fc4ca4b5ddd467d5ecaad9decd190725ecd55f43864009e35b6561ac451c2ff5ae6d58f6b2d62e2ebff0895
+MISC metadata.xml 323 SHA256 955592eeed2ddc8636d5e139fac08ffbde3e761f54df30fd5ba15564c0297e9b SHA512 2a41feb51b979c76edda9a13dbb6ff48301387ccf0fdcf4225b49cab80c2d68b87caf463659619a41b9ed253b6cb76d6c392ea88e35b0083aa2849545701830d WHIRLPOOL dedf181a0f60161787c9f32573c4bc9b9c3dd40975699b44bc562ff95bf1e4c92db51170bbb85bde73d74cc4c66bdf450c08ae0e6f2705f0180a8a1faafb837b
diff --git a/dev-ml/atd/atd-1.12.0.ebuild b/dev-ml/atd/atd-1.12.0.ebuild
new file mode 100644
index 000000000000..5095732e9dd9
--- /dev/null
+++ b/dev-ml/atd/atd-1.12.0.ebuild
@@ -0,0 +1,46 @@
+# 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 test"
+
+DEPEND="
+ dev-lang/ocaml:=[ocamlopt?]
+ dev-ml/easy-format:=[ocamlopt?]
+ dev-ml/menhir:=[ocamlopt?]
+"
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND}
+ dev-ml/jbuilder
+ dev-ml/opam
+ test? (
+ dev-ml/biniou
+ dev-ml/yojson
+ )
+"
+
+src_compile() {
+ jbuilder build -p atd || die
+}
+
+oinstall() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ ${1}.install || die
+}
+
+src_install() {
+ oinstall atd
+}
diff --git a/dev-ml/atd/atd-1.2.0.ebuild b/dev-ml/atd/atd-1.2.0.ebuild
new file mode 100644
index 000000000000..8f343658f391
--- /dev/null
+++ b/dev-ml/atd/atd-1.2.0.ebuild
@@ -0,0 +1,33 @@
+# 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?]
+ dev-ml/menhir:=[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/atd-1.2.1.ebuild b/dev-ml/atd/atd-1.2.1.ebuild
new file mode 100644
index 000000000000..d57bf461c6d4
--- /dev/null
+++ b/dev-ml/atd/atd-1.2.1.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="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?]
+ dev-ml/menhir:=[ocamlopt?]
+"
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND}
+ dev-ml/jbuilder
+ dev-ml/opam
+"
+
+src_install() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ ${PN}.install || die
+}
diff --git a/dev-ml/atd/metadata.xml b/dev-ml/atd/metadata.xml
new file mode 100644
index 000000000000..42629fd4a5b4
--- /dev/null
+++ b/dev-ml/atd/metadata.xml
@@ -0,0 +1,11 @@
+<?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>
+ <upstream>
+ <remote-id type="github">mjambon/atd</remote-id>
+ </upstream>
+</pkgmetadata>