summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2020-01-14 17:25:05 +0100
committerMichał Górny <mgorny@gentoo.org>2020-01-14 17:26:07 +0100
commite73cdb8ec3060b24e3ae4a568659547e8050dc71 (patch)
tree027bca129ccaca71fc75a2945302675c20f8c871 /dev-ml/atd
parentsci-electronics/oregano: Remove last-rited pkg (diff)
downloadgentoo-e73cdb8ec3060b24e3ae4a568659547e8050dc71.tar.gz
gentoo-e73cdb8ec3060b24e3ae4a568659547e8050dc71.tar.bz2
gentoo-e73cdb8ec3060b24e3ae4a568659547e8050dc71.zip
dev-ml/*: Remove first set of unneeded leaf packages
Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-ml/atd')
-rw-r--r--dev-ml/atd/Manifest3
-rw-r--r--dev-ml/atd/atd-1.12.0.ebuild47
-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.xml8
5 files changed, 0 insertions, 125 deletions
diff --git a/dev-ml/atd/Manifest b/dev-ml/atd/Manifest
deleted file mode 100644
index 606465ee2142..000000000000
--- a/dev-ml/atd/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-DIST atd-1.12.0.tar.gz 145428 BLAKE2B d9cc3b98567383e1a5dbb068165f144fb033e17030f979eb20963837b96f93d9b950943d59d1d0f348fed28ec05c5906ce6672f848d428193379670f5c4b51c4 SHA512 c24601b276da7837bc896bb42b2e0fa91ebfbf07759560c2490ed44bef722dcf8d586aaba1e62abff262805cab89996835611ab9fb68aa096dfc84bb55365475
-DIST atd-1.2.0.tar.gz 41300 BLAKE2B 3919de0a2ca5b071d2cfdab8b74c6f528bc6c1b6965e6a29d8ddfda89ac6db0fd2b6e1012e052370a9ca555c392176f68339c193076b082c79ebbedcd4146817 SHA512 a52824c9784ac0f4d6f314972fa1d92be14730de3c6bde04032004579ac27408385bd4fa7d926f9d564657eb62050fd732a032f364bada62a1dc7a8acfacb727
-DIST atd-1.2.1.tar.gz 39018 BLAKE2B 313a3019428f187051209e8eb2bec99f9a8fdefdb4da342c50bd54b42378c0c5eda988e13413c567765f8504ee24599fc440fdad6b8a3e728189df0f3b9f1939 SHA512 5dde8dd1e6ca53ae2ff7efc873211079678a824ae7a9d4182d58e3e10ce50a9dcd705de7168a8cfb12ea3d030a0d01b2485d436e77bfa48c14df7628b47161dc
diff --git a/dev-ml/atd/atd-1.12.0.ebuild b/dev-ml/atd/atd-1.12.0.ebuild
deleted file mode 100644
index 437a438bc9a5..000000000000
--- a/dev-ml/atd/atd-1.12.0.ebuild
+++ /dev/null
@@ -1,47 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# 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"
-RESTRICT="!test? ( 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
deleted file mode 100644
index 8f343658f391..000000000000
--- a/dev-ml/atd/atd-1.2.0.ebuild
+++ /dev/null
@@ -1,33 +0,0 @@
-# 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
deleted file mode 100644
index d57bf461c6d4..000000000000
--- a/dev-ml/atd/atd-1.2.1.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="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
deleted file mode 100644
index 41a14222f6d5..000000000000
--- a/dev-ml/atd/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/atd</remote-id>
- </upstream>
-</pkgmetadata>