diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2020-01-14 17:25:05 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2020-01-14 17:26:07 +0100 |
| commit | e73cdb8ec3060b24e3ae4a568659547e8050dc71 (patch) | |
| tree | 027bca129ccaca71fc75a2945302675c20f8c871 /dev-ml/ppx_import | |
| parent | sci-electronics/oregano: Remove last-rited pkg (diff) | |
| download | gentoo-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/ppx_import')
| -rw-r--r-- | dev-ml/ppx_import/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_import/metadata.xml | 8 | ||||
| -rw-r--r-- | dev-ml/ppx_import/ppx_import-1.2.ebuild | 40 |
3 files changed, 0 insertions, 49 deletions
diff --git a/dev-ml/ppx_import/Manifest b/dev-ml/ppx_import/Manifest deleted file mode 100644 index d5294d386e95..000000000000 --- a/dev-ml/ppx_import/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST ppx_import-1.2.tar.gz 13244 BLAKE2B 538fd11e151d740c601ca88ff682bf4ea84ddaea3fbbc5b54d43310e59baf00ae47ef397763861da8ff1b2af017bb318ec1cd48f8708b9dc2a2c68bf812e1aea SHA512 384a8f955573c66962383f0e3609e4764cb0056e7d5b7e5811fd9fd17e17ac58baea330131b8eb688cd4202d6e6bd5829fba024524f027201244ff10c86e0f01 diff --git a/dev-ml/ppx_import/metadata.xml b/dev-ml/ppx_import/metadata.xml deleted file mode 100644 index 3515930a24e8..000000000000 --- a/dev-ml/ppx_import/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">whitequark/ppx_import</remote-id> - </upstream> -</pkgmetadata> diff --git a/dev-ml/ppx_import/ppx_import-1.2.ebuild b/dev-ml/ppx_import/ppx_import-1.2.ebuild deleted file mode 100644 index 56b86b5efe91..000000000000 --- a/dev-ml/ppx_import/ppx_import-1.2.ebuild +++ /dev/null @@ -1,40 +0,0 @@ -# Copyright 1999-2019 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -inherit opam - -DESCRIPTION="A syntax extension for importing declarations from interface files" -HOMEPAGE="https://github.com/whitequark/ppx_import" -SRC_URI="https://github.com/whitequark/ppx_import/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="MIT" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="+ocamlopt test" -RESTRICT="!test? ( test )" - -DEPEND=" - dev-lang/ocaml:=[ocamlopt?] - dev-ml/ppx_tools:= - dev-ml/cppo:= -" -RDEPEND="${DEPEND}" -DEPEND="${DEPEND} - test? ( dev-ml/ounit dev-ml/ppx_deriving ) - dev-ml/ocamlbuild - dev-ml/findlib -" - -src_compile() { - cp pkg/META.in pkg/META - ocaml pkg/build.ml \ - native=$(usex ocamlopt true false) \ - native-dynlink=$(usex ocamlopt true false) \ - || die -} - -src_test() { - ocamlbuild -classic-display -use-ocamlfind src_test/test_ppx_import.byte -- || die -} |