summaryrefslogtreecommitdiff
path: root/dev-ml/atdgen
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2020-01-15 15:51:32 +0000
committerV3n3RiX <venerix@redcorelinux.org>2020-01-15 15:51:32 +0000
commit21435953e16cda318a82334ddbadb3b5c36d9ea7 (patch)
treee1810a4b135afce04b34862ef0fab2bfaeb8aeca /dev-ml/atdgen
parent7bc9c63c9da678a7e6fceb095d56c634afd22c56 (diff)
gentoo resync : 15.01.2020
Diffstat (limited to 'dev-ml/atdgen')
-rw-r--r--dev-ml/atdgen/Manifest7
-rw-r--r--dev-ml/atdgen/atdgen-1.10.0.ebuild34
-rw-r--r--dev-ml/atdgen/atdgen-1.10.2.ebuild35
-rw-r--r--dev-ml/atdgen/atdgen-1.12.0.ebuild45
-rw-r--r--dev-ml/atdgen/metadata.xml8
5 files changed, 0 insertions, 129 deletions
diff --git a/dev-ml/atdgen/Manifest b/dev-ml/atdgen/Manifest
deleted file mode 100644
index d20d6a7579c6..000000000000
--- a/dev-ml/atdgen/Manifest
+++ /dev/null
@@ -1,7 +0,0 @@
-DIST atd-1.12.0.tar.gz 145428 BLAKE2B d9cc3b98567383e1a5dbb068165f144fb033e17030f979eb20963837b96f93d9b950943d59d1d0f348fed28ec05c5906ce6672f848d428193379670f5c4b51c4 SHA512 c24601b276da7837bc896bb42b2e0fa91ebfbf07759560c2490ed44bef722dcf8d586aaba1e62abff262805cab89996835611ab9fb68aa096dfc84bb55365475
-DIST atdgen-1.10.0.tar.gz 75447 BLAKE2B a3867f931b678ea4a5f7141447ed25418fb9b0b8154c5ab86320803badbcfaf98ceb453569837c88b12c76b37d0c405333fecf5894b0810fa7bc555370b7bbe0 SHA512 2dba16a0955b591a972bbd790a5344cf7f79c9485b5a064d3206643defe6c56413678aea389d831892ae1c72ff2fcb3a667731a236a7510fa7e9b4a60a128fb8
-DIST atdgen-1.10.2.tar.gz 73418 BLAKE2B 9b460fed859596c73fa24ebfb16bccecf7d95a1b1b627f43ed8ff32da7a37304df14d2641580cd0d38029ef344aa2132bac56c02e33034ac29b99d3adf1ea30a SHA512 5912e339c61516f942e7c80775faf4832007a96e5841e91115d120323a07fdd3945698b39876da3c25302da25ce30ecbab79a6920dd1496b9de4e30f4a2be73a
-EBUILD atdgen-1.10.0.ebuild 700 BLAKE2B c67984ece3d3d8ce2b570a2d046c40feddfeeafd4991db86964ffd04a05e779f3a5bed5038068ba2970a055b9ec33039e524c55ac9cb3121a96af7dd0a90b5ac SHA512 b84cd67ac003a0129bfe65b5a1784efba0eeec2db61e01f03552cbce5cb4e6d1f103edd7e7390d9166b0f14b5fba3c3c03445433f213d78321b567c7e4e84cd2
-EBUILD atdgen-1.10.2.ebuild 763 BLAKE2B fea1cb41c46b08f386fc305f3d15c359d04011069fdefcb43453d80976fc165dd8947456440ff378b2ce55fa8df74d898f2c306a437380acdedb8941a6903685 SHA512 59d289cea2d2925a720ffacb3e9011fc8315c1e7b664623c4b33df6ffa3648bd2b79e813fe4d2124fd988795278a95b47d178fea0e51db6856fc7cf98f634607
-EBUILD atdgen-1.12.0.ebuild 850 BLAKE2B f5383170056e608ec4ed8f7fbb375749e5d813b2a37d4add65f5643d2da215e8a18b49d84c82aa49c924faf3c922d1850b907b2f67d85ba788560337191b6692 SHA512 4a51365b5607a577712f617f4de683b4e740abd1b0b828a9e7c7cfa504aae6472a5c850c5a87456d21b5072abd042048a31706f0db8ed635b7b77e28bb0e2135
-MISC metadata.xml 246 BLAKE2B ecf2ae32b8f3e333424f851ce28f40b5cefe3c3961f5fee23e3eafe4f1960ede4dc17617058f033182e87aa51ba37e51773e5988eb13d15faccd3bf65dd7ed7c SHA512 9b00a2d208fb55cca5aa53cae1ecf53b6b398e5f61c024d57152da46ac53da3f60c5c21731760232416fa81b5776261cb86807b7e9505cc1190a8b92d63efa28
diff --git a/dev-ml/atdgen/atdgen-1.10.0.ebuild b/dev-ml/atdgen/atdgen-1.10.0.ebuild
deleted file mode 100644
index 3460991bad5f..000000000000
--- a/dev-ml/atdgen/atdgen-1.10.0.ebuild
+++ /dev/null
@@ -1,34 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit findlib
-
-DESCRIPTION="Generates 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/atdgen-1.10.2.ebuild b/dev-ml/atdgen/atdgen-1.10.2.ebuild
deleted file mode 100644
index e9694f441a7b..000000000000
--- a/dev-ml/atdgen/atdgen-1.10.2.ebuild
+++ /dev/null
@@ -1,35 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit findlib
-
-DESCRIPTION="Generates 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}"
-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/atdgen/atdgen-1.12.0.ebuild b/dev-ml/atdgen/atdgen-1.12.0.ebuild
deleted file mode 100644
index 84fa4a2c68a5..000000000000
--- a/dev-ml/atdgen/atdgen-1.12.0.ebuild
+++ /dev/null
@@ -1,45 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit findlib
-
-DESCRIPTION="Generates boilerplate OCaml code for JSON and Biniou IO from type definitions"
-HOMEPAGE="https://github.com/mjambon/atd"
-SRC_URI="https://github.com/mjambon/atd/archive/v${PV}.tar.gz -> atd-${PV}.tar.gz"
-
-LICENSE="BSD"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="+ocamlopt"
-
-DEPEND="
- dev-lang/ocaml:=[ocamlopt?]
- dev-ml/atd:=
- dev-ml/biniou:=
- dev-ml/yojson:=
-"
-RDEPEND="${DEPEND}"
-DEPEND="${DEPEND}
- dev-ml/jbuilder
- dev-ml/opam
-"
-
-S="${WORKDIR}/atd-${PV}"
-
-src_compile() {
- jbuilder build -p atdgen || die
-}
-
-oinstall() {
- opam-installer -i \
- --prefix="${ED}/usr" \
- --libdir="${D}/$(ocamlc -where)" \
- --docdir="${ED}/usr/share/doc/${PF}" \
- ${1}.install || die
-}
-
-src_install() {
- oinstall atdgen
-}
diff --git a/dev-ml/atdgen/metadata.xml b/dev-ml/atdgen/metadata.xml
deleted file mode 100644
index b23ee36ce780..000000000000
--- a/dev-ml/atdgen/metadata.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
- <!-- maintainer-needed -->
- <upstream>
- <remote-id type="github">mjambon/atdgen</remote-id>
- </upstream>
-</pkgmetadata>