From 8cde9088f85882c2538180f0d88e73d685476249 Mon Sep 17 00:00:00 2001
From: René 'Necoro' Neumann <necoro@necoro.net>
Date: Mon, 1 Jul 2013 18:47:36 +0200
Subject: Remove mlton -- included in main tree

---
 dev-lang/mlton/mlton-20100608.ebuild | 58 ------------------------------------
 1 file changed, 58 deletions(-)
 delete mode 100644 dev-lang/mlton/mlton-20100608.ebuild

(limited to 'dev-lang/mlton/mlton-20100608.ebuild')

diff --git a/dev-lang/mlton/mlton-20100608.ebuild b/dev-lang/mlton/mlton-20100608.ebuild
deleted file mode 100644
index 41c31dd..0000000
--- a/dev-lang/mlton/mlton-20100608.ebuild
+++ /dev/null
@@ -1,58 +0,0 @@
-# Copyright 1999-2010 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton/mlton-20070826-r1.ebuild,v 1.2 2010/07/11 22:01:52 hwoarang Exp $
-
-inherit eutils
-
-DESCRIPTION="Standard ML optimizing compiler and libraries"
-BASE_URI="http://mlton.org/pages/Download/attachments/"
-SRC_URI="!binary? ( ${BASE_URI}/${P}-1.src.tgz )
-		  binary? ( amd64? ( ${BASE_URI}/${P}-1.amd64-linux.static.tgz )
-					x86?   ( ${BASE_URI}/${P}-1.x86-linux.static.tgz ) )"
-
-HOMEPAGE="http://www.mlton.org"
-
-LICENSE="as-is"
-SLOT="0"
-KEYWORDS="-* ~amd64 ~x86"
-
-IUSE="binary doc"
-
-DEPEND="dev-libs/gmp
-		doc? ( virtual/latex-base )"
-
-QA_PRESTRIPPED="
-	usr/bin/mlnlffigen
- 	usr/bin/mllex
-  	usr/bin/mlprof
-   	usr/bin/mlyacc
-	usr/lib/mlton/mlton-compile"
-
-src_compile() {
-	if use !binary; then
-		has_version dev-lang/mlton || die "emerge with binary use flag first"
-
-		# Fix location in which to install man pages
-		sed -i 's@^MAN_PREFIX_EXTRA :=.*@MAN_PREFIX_EXTRA := /share@' \
-			Makefile || die 'sed Makefile failed'
-
-		# Does not support parallel make
-		emake -j1 all-no-docs || die
-		if use doc; then
-			export VARTEXFONTS="${T}/fonts"
-			emake docs || die "failed to create documentation"
-		fi
-	fi
-}
-
-src_install() {
-	if use binary; then
-		# Fix location in which to install man pages
-		mv "${WORKDIR}/usr/man" "${WORKDIR}/usr/share" || die "mv man failed"
-
-		mv "${WORKDIR}/usr" "${D}" || die "mv failed"
-	else
-		emake DESTDIR="${D}" install-no-docs || die
-		if use doc; then emake DESTDIR="${D}" TDOC="${D}"/usr/share/doc/${P} install-docs || die; fi
-	fi
-}
-- 
cgit v1.2.3-54-g00ecf