summaryrefslogtreecommitdiff
path: root/dev-ml/kaputt
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/kaputt')
-rw-r--r--dev-ml/kaputt/Manifest3
-rw-r--r--dev-ml/kaputt/kaputt-1.2.ebuild37
-rw-r--r--dev-ml/kaputt/metadata.xml8
3 files changed, 0 insertions, 48 deletions
diff --git a/dev-ml/kaputt/Manifest b/dev-ml/kaputt/Manifest
deleted file mode 100644
index b5da2afb1126..000000000000
--- a/dev-ml/kaputt/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-DIST kaputt-1.2.tar.gz 299828 BLAKE2B c38e5c1b92d7f4d2eff607833b171558b48685ae247d8fce2796328d9ee473771dd7a5702f3fb3a8efdc80d62fc844cf626b76504713814cefd6e899bf3f90de SHA512 7e30379410ac2e45e59462086956a510e4da06538cd27fd360999e3ff656dc82bfdae18e545699241a01612d9ec7ab28e298847b4a2f6178294dc6c2db8f8671
-EBUILD kaputt-1.2.ebuild 618 BLAKE2B 0e4dfcccb82e86d55e13876ea5101dfe4d60179efc1f9b48a61a184ccd3e45e388d6db38f3d5ae00b330113b84738b2f7c0d002e96aceb2b0d63ac475d3fe088 SHA512 5321389609a1d3ab026550d3ea2e75f909a95816c0677db00026ab676cef25df3ebd8f56bd76e8e2bb7ce5784a54093dd4dd4b24dcd79daaad3d930f3d886961
-MISC metadata.xml 243 BLAKE2B 010ca240ae06e9a9f6d7ba213eb06df36d9ba862ff2d2458d98a9fea1a1e7f3026d13832a73bce1b3ad9345029425e6abfae9e03bf126f2329b3f030ed3753fd SHA512 1c5b4b2163017e496999d1f87e5c9c5ac6c11b2e9187450ccfb3df258f34e54d278972f04ee0e8429476c6f87e091a869ac2a28c6e8c8e6d20678c3e74061449
diff --git a/dev-ml/kaputt/kaputt-1.2.ebuild b/dev-ml/kaputt/kaputt-1.2.ebuild
deleted file mode 100644
index 89ce7b66f515..000000000000
--- a/dev-ml/kaputt/kaputt-1.2.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="Unit testing tool for the Objective Caml language"
-HOMEPAGE="http://kaputt.x9c.fr/"
-SRC_URI="http://kaputt.x9c.fr/distrib/${P}.tar.gz"
-
-LICENSE="GPL-3"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND=">=dev-lang/ocaml-3.11:=[ocamlopt]"
-DEPEND="${RDEPEND}
- dev-ml/ocamlbuild"
-
-src_configure() {
- chmod +x configure
- ./configure || die
-}
-
-src_compile() {
- emake all
-}
-
-src_test() {
- emake -j1 tests
-}
-
-src_install() {
- findlib_src_install
- dodoc README FEATURES CHANGES
-}
diff --git a/dev-ml/kaputt/metadata.xml b/dev-ml/kaputt/metadata.xml
deleted file mode 100644
index ffac4d7ebc01..000000000000
--- a/dev-ml/kaputt/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 type="project">
- <email>ml@gentoo.org</email>
- <name>Gentoo ML Project</name>
-</maintainer>
-</pkgmetadata>