diff options
author | Michał Górny <mgorny@gentoo.org> | 2016-07-24 13:27:33 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2016-07-24 13:30:57 +0200 |
commit | 7b64536d217519a42208fd9b930b518dca399a5b (patch) | |
tree | 49fa3dd4bba4865e05975617cd84364dd3eae4fb /dev-ml | |
parent | dev-ml/comparelib: Remove last-rited pkg, #586904 (diff) | |
download | gentoo-7b64536d217519a42208fd9b930b518dca399a5b.tar.gz gentoo-7b64536d217519a42208fd9b930b518dca399a5b.tar.bz2 gentoo-7b64536d217519a42208fd9b930b518dca399a5b.zip |
dev-ml/deriving-ocsigen: Remove last-rited pkg, #586906
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/deriving-ocsigen/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild | 51 | ||||
-rw-r--r-- | dev-ml/deriving-ocsigen/metadata.xml | 11 |
3 files changed, 0 insertions, 63 deletions
diff --git a/dev-ml/deriving-ocsigen/Manifest b/dev-ml/deriving-ocsigen/Manifest deleted file mode 100644 index d02364ba7049..000000000000 --- a/dev-ml/deriving-ocsigen/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST deriving-ocsigen-0.3c.tar.gz 61242 SHA256 eb6e7e647b6f2effcc65c9b32076fbc12e366e16035447a762a93e5e1cba94c7 SHA512 121225b2a143676ec7e49e2f8eb22b674280e74276192d2ffb9b3e063cb47029421bffab87f838ad74bcfa08af27a53a5d745f2dc2398eae3e0e9c02849c818a WHIRLPOOL a9686b3b064a1bdacae2415248c2b7a825738ab7889d6fd56ffa575694ddb151d928b07621aca1d1be9c4fb624647fb5c0be2debdeea5d3fdae879a555b9b980 diff --git a/dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild b/dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild deleted file mode 100644 index e8ee2392a48f..000000000000 --- a/dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild +++ /dev/null @@ -1,51 +0,0 @@ -# Copyright 1999-2014 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Id$ - -EAPI=5 - -inherit findlib - -DESCRIPTION="A deriving library for Ocsigen" -HOMEPAGE="http://ocsigen.org" -SRC_URI="http://www.ocsigen.org/download/${P}.tar.gz" - -LICENSE="LGPL-2.1-with-linking-exception" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="+ocamlopt type-conv" - -DEPEND=">=dev-lang/ocaml-3.12:=[ocamlopt?] - dev-ml/camlp4:= - type-conv? ( >=dev-ml/type-conv-108:= )" -RDEPEND="${DEPEND}" - -src_prepare() { - find . -type f -exec sed -i 's/type-conv/type_conv/g' {} + -} - -src_configure() { - use type-conv || echo "TYPECONV :=" >> Makefile.config -} - -src_compile() { - if use ocamlopt; then - emake - else - emake byte - fi -} - -src_test() { - emake tests -} - -src_install() { - findlib_src_preinst - if use ocamlopt; then - emake install - else - emake install-byte - fi - dodoc CHANGES README -} diff --git a/dev-ml/deriving-ocsigen/metadata.xml b/dev-ml/deriving-ocsigen/metadata.xml deleted file mode 100644 index f5f9ed3cefac..000000000000 --- a/dev-ml/deriving-ocsigen/metadata.xml +++ /dev/null @@ -1,11 +0,0 @@ -<?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> -<use> - <flag name="type-conv">Enable type-conv for the syntax extention.</flag> -</use> -</pkgmetadata> |