diff options
| author |   Matthew Brewer <tomboy64@sina.cn> | 2015-10-16 21:13:18 +0200 |
|---|---|---|
| committer | Matthew Brewer <tomboy64@sina.cn> | 2015-10-16 21:13:18 +0200 |
| commit | ae1f90eb0f67a8e3f9ec94ecd763784b7f458475 (patch) | |
| tree | d3fe9469cc810b2013cbcca858974f82fdfcf0f4 /dev-ml/mirage-profile/mirage-profile-0.5.ebuild | |
| parent | removing idea-ultimate from tbc cuz intree and shit (diff) | |
| download | tbc-ae1f90eb0f67a8e3f9ec94ecd763784b7f458475.tar.gz tbc-ae1f90eb0f67a8e3f9ec94ecd763784b7f458475.tar.bz2 tbc-ae1f90eb0f67a8e3f9ec94ecd763784b7f458475.zip | |
remove dev-ml stuff as it's about to get merged.
Diffstat (limited to 'dev-ml/mirage-profile/mirage-profile-0.5.ebuild')
| -rw-r--r-- | dev-ml/mirage-profile/mirage-profile-0.5.ebuild | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/dev-ml/mirage-profile/mirage-profile-0.5.ebuild b/dev-ml/mirage-profile/mirage-profile-0.5.ebuild deleted file mode 100644 index c69902c..0000000 --- a/dev-ml/mirage-profile/mirage-profile-0.5.ebuild +++ /dev/null @@ -1,30 +0,0 @@ -# Copyright 1999-2015 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Id$ - -EAPI=5 -OASIS_BUILD_TESTS=1 - -inherit oasis - -DESCRIPTION="Collect profiling information" -HOMEPAGE="https://github.com/mirage/mirage-profile https://mirage.io" -SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="BSD-2" -SLOT="0" -KEYWORDS="~amd64" -IUSE="" - -RDEPEND=" - dev-ml/io-page:= - dev-ml/lwt:= - dev-ml/ocaml-cstruct:=[camlp4(-)] - dev-ml/ocplib-endian:= -" -DEPEND=" - >=dev-lang/ocaml-4 - ${RDEPEND} -" - -DOCS=( README.md ) |