summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTim Yamin <plasmaroo@gentoo.org>2004-05-22 20:41:18 +0000
committerTim Yamin <plasmaroo@gentoo.org>2004-05-22 20:41:18 +0000
commit362c4105596c185014fccaff736ec326a6385edd (patch)
tree67461f518c47b2b3b4e2c0b88eaf554fdcce4af0 /dev-lang/mosml
parentFixed unstable dependency (Manifest recommit) (diff)
downloadgentoo-2-362c4105596c185014fccaff736ec326a6385edd.tar.gz
gentoo-2-362c4105596c185014fccaff736ec326a6385edd.tar.bz2
gentoo-2-362c4105596c185014fccaff736ec326a6385edd.zip
Marked stable on "x86".
Diffstat (limited to 'dev-lang/mosml')
-rw-r--r--dev-lang/mosml/mosml-2.01.ebuild6
1 files changed, 2 insertions, 4 deletions
diff --git a/dev-lang/mosml/mosml-2.01.ebuild b/dev-lang/mosml/mosml-2.01.ebuild
index 40a4d63aad51..8c8a82f70fd0 100644
--- a/dev-lang/mosml/mosml-2.01.ebuild
+++ b/dev-lang/mosml/mosml-2.01.ebuild
@@ -1,6 +1,6 @@
# Copyright 1999-2004 Gentoo Technologies, Inc.
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/mosml/mosml-2.01.ebuild,v 1.1 2004/02/18 14:46:29 plasmaroo Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/mosml/mosml-2.01.ebuild,v 1.2 2004/05/22 20:41:18 plasmaroo Exp $
S="${WORKDIR}/${PN}/src"
DESCRIPTION="Moscow ML - a lightweight implementation of Standard ML (SML)"
@@ -8,13 +8,11 @@ SRC_URI="http://www.dina.kvl.dk/~sestoft/mosml/mos201src.tar.gz"
HOMEPAGE="http://www.dina.dk/~sestoft/mosml.html"
LICENSE="GPL-2"
DEPEND=""
-KEYWORDS="~x86"
+KEYWORDS="x86"
SLOT="0"
src_compile() {
-
emake MOSMLHOME=/opt/mosml world || die
-
}
src_install () {