summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/pomap/pomap-3.0.7.ebuild')
-rw-r--r--dev-ml/pomap/pomap-3.0.7.ebuild30
1 files changed, 0 insertions, 30 deletions
diff --git a/dev-ml/pomap/pomap-3.0.7.ebuild b/dev-ml/pomap/pomap-3.0.7.ebuild
deleted file mode 100644
index 843be10b3fb5..000000000000
--- a/dev-ml/pomap/pomap-3.0.7.ebuild
+++ /dev/null
@@ -1,30 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-OASIS_BUILD_DOCS=1
-
-inherit oasis
-
-DESCRIPTION="Partially Ordered Map ADT for O'Caml"
-HOMEPAGE="http://mmottl.github.io/pomap/"
-SRC_URI="https://github.com/mmottl/pomap/releases/download/v${PV}/${P}.tar.gz"
-LICENSE="LGPL-2.1-with-linking-exception"
-
-DEPEND="dev-ml/camlp4:="
-RDEPEND="${DEPEND}"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~ppc ~x86"
-IUSE="examples"
-
-DOCS=( "AUTHORS.txt" "CHANGES.txt" "README.md" )
-
-src_install() {
- oasis_src_install
- if use examples ; then
- insinto /usr/share/doc/${PF}
- doins -r examples
- docompress -x /usr/share/doc/${PF}/examples
- fi
-}