diff options
author | René Neumann <rene.neumann@in.tum.de> | 2012-05-07 11:05:46 +0200 |
---|---|---|
committer | René Neumann <rene.neumann@in.tum.de> | 2012-05-07 11:05:46 +0200 |
commit | 5db1f1178d7adc993167c603c2d494f5854a58d7 (patch) | |
tree | 6f8cb56696020cba251d4bdde18f06f9af082607 /dev-lang | |
parent | 14bda47475d3b0d2171f5f740525ca7d1d7b3e5b (diff) | |
parent | 8142ad25b69d2df24ffeb86a941c97a7a124caaf (diff) | |
download | overlay-5db1f1178d7adc993167c603c2d494f5854a58d7.tar.gz overlay-5db1f1178d7adc993167c603c2d494f5854a58d7.tar.bz2 overlay-5db1f1178d7adc993167c603c2d494f5854a58d7.zip |
Merge branch 'master' of necoro.eu:gentoo/overlay
Diffstat (limited to '')
-rw-r--r-- | dev-lang/polyml/Manifest | 4 | ||||
-rw-r--r-- | dev-lang/polyml/polyml-5.3.ebuild | 29 | ||||
-rw-r--r-- | dev-lang/polyml/polyml-5.4.ebuild | 38 |
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) -} |