summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2016-07-24 13:27:33 +0200
committerMichał Górny <mgorny@gentoo.org>2016-07-24 13:30:57 +0200
commit7b64536d217519a42208fd9b930b518dca399a5b (patch)
tree49fa3dd4bba4865e05975617cd84364dd3eae4fb /dev-ml
parentdev-ml/comparelib: Remove last-rited pkg, #586904 (diff)
downloadgentoo-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/Manifest1
-rw-r--r--dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild51
-rw-r--r--dev-ml/deriving-ocsigen/metadata.xml11
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>