# 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) }