summaryrefslogtreecommitdiff
path: root/dev-lang
diff options
context:
space:
mode:
authorRené 'Necoro' Neumann <necoro@necoro.net>2012-02-18 21:03:12 +0100
committerRené 'Necoro' Neumann <necoro@necoro.net>2012-02-18 21:03:12 +0100
commit8142ad25b69d2df24ffeb86a941c97a7a124caaf (patch)
tree33e20ba7512f7f8dee7bb7f278daeac4e278d0f7 /dev-lang
parent04229674316b171286b42c59a29a3661ce4d08ab (diff)
downloadoverlay-8142ad25b69d2df24ffeb86a941c97a7a124caaf.tar.gz
overlay-8142ad25b69d2df24ffeb86a941c97a7a124caaf.tar.bz2
overlay-8142ad25b69d2df24ffeb86a941c97a7a124caaf.zip
Removed outdated packages
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/polyml/Manifest4
-rw-r--r--dev-lang/polyml/polyml-5.3.ebuild29
-rw-r--r--dev-lang/polyml/polyml-5.4.ebuild38
3 files changed, 0 insertions, 71 deletions
diff --git a/dev-lang/polyml/Manifest b/dev-lang/polyml/Manifest
deleted file mode 100644
index ca77819..0000000
--- a/dev-lang/polyml/Manifest
+++ /dev/null
@@ -1,4 +0,0 @@
-DIST polyml.5.3.tar.gz 5289077 RMD160 d9a806945437c147cc41407bd596b2c435ecc21e SHA1 a037cd8cf4ce4a43b685b0e0d80f3f1e20d7c9fa SHA256 154e836f4e65b5c72f8190d3c02e5ed237921cef716cb49add1e0e1e35fb2af4
-DIST polyml.5.4.tar.gz 6107333 RMD160 b2416046d3fba250196c77642ac1e0e8dc9b4b39 SHA1 9d9579e5946a84b8e780ae5ea0fbe8d10d4c32d1 SHA256 64b4e23fc2e5bab00899027d805d311025dfb192f55089729b0d18313fa96bfa
-EBUILD polyml-5.3.ebuild 636 RMD160 9a876f19f152223c3318440dc26c3ad30e785551 SHA1 ea4839f80b4bf052a4513b17138e62bbf5a3c846 SHA256 89a6e0d8d40037bbc9f72c07316262766778ad2b516a0fa1aeb53364ecfda25b
-EBUILD polyml-5.4.ebuild 914 RMD160 b382008a74e628ef92d243dc9fd5f7bcd1340418 SHA1 f8be2ff0633813a94a7874931410db41d3c87437 SHA256 539fe2ddf9197dea508ebb69e1069cdaeabb06f4dd6de0c9f5960ab4427121df
diff --git a/dev-lang/polyml/polyml-5.3.ebuild b/dev-lang/polyml/polyml-5.3.ebuild
deleted file mode 100644
index 3d646cd..0000000
--- a/dev-lang/polyml/polyml-5.3.ebuild
+++ /dev/null
@@ -1,29 +0,0 @@
-# Copyright 1999-2009 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.2.1.ebuild,v 1.3 2009/01/11 19:16:52 maekke Exp $
-
-MY_P=${PN}.${PV}
-
-DESCRIPTION="Poly/ML is a full implementation of Standard ML"
-HOMEPAGE="http://www.polyml.org"
-SRC_URI="mirror://sourceforge/${PN}/${MY_P}.tar.gz"
-
-LICENSE="LGPL-2.1"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="X"
-
-RDEPEND="X? ( x11-libs/openmotif )"
-DEPEND="${RDEPEND}"
-
-S=${WORKDIR}/${MY_P}
-
-src_compile() {
- econf $(use_with X x)
-
- emake || die
-}
-
-src_install() {
- emake DESTDIR="${D}" install || die
-}
diff --git a/dev-lang/polyml/polyml-5.4.ebuild b/dev-lang/polyml/polyml-5.4.ebuild
deleted file mode 100644
index b436597..0000000
--- a/dev-lang/polyml/polyml-5.4.ebuild
+++ /dev/null
@@ -1,38 +0,0 @@
-# Copyright 1999-2009 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/polyml/polyml-5.2.1.ebuild,v 1.3 2009/01/11 19:16:52 maekke Exp $
-
-EAPI=4
-
-MY_P=${PN}.${PV}
-
-DESCRIPTION="Poly/ML is a full implementation of Standard ML"
-HOMEPAGE="http://www.polyml.org"
-SRC_URI="mirror://sourceforge/${PN}/${MY_P}.tar.gz"
-
-LICENSE="LGPL-2.1"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="gmp X"
-
-RDEPEND="X? ( x11-libs/openmotif )
- gmp? ( dev-libs/gmp )"
-DEPEND="${RDEPEND}"
-
-S=${WORKDIR}/${MY_P}
-
-src_prepare() {
- # Add the GNU-Header to the assembly file
- # as given in http://www.gentoo.org/proj/en/hardened/gnu-stack.xml
- # I hope it does no harm
- cat >> ${S}/libpolyml/x86asm.asm << EOF
-#if defined(__linux__) && defined(__ELF__)
-.section .note.GNU-stack,"",%progbits
-#endif
-EOF
-}
-
-src_configure() {
- econf $(use_with X x)\
- $(use_with gmp)
-}