summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTim Yamin <plasmaroo@gentoo.org>2004-02-02 18:06:54 +0000
committerTim Yamin <plasmaroo@gentoo.org>2004-02-02 18:06:54 +0000
commita976ad875a0041ca78b23a9801c10d7482fee083 (patch)
tree1d11a0dab17b6b72d6613d4172993fc926782bce /dev-lang
parentVersion bump (diff)
downloadgentoo-2-a976ad875a0041ca78b23a9801c10d7482fee083.tar.gz
gentoo-2-a976ad875a0041ca78b23a9801c10d7482fee083.tar.bz2
gentoo-2-a976ad875a0041ca78b23a9801c10d7482fee083.zip
Fixed a problem with the incorrect header file getting installed, should solve bug #40175.
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/mosml/mosml-2.00.ebuild3
1 files changed, 2 insertions, 1 deletions
diff --git a/dev-lang/mosml/mosml-2.00.ebuild b/dev-lang/mosml/mosml-2.00.ebuild
index 29548636a4aa..5e7b07e883cf 100644
--- a/dev-lang/mosml/mosml-2.00.ebuild
+++ b/dev-lang/mosml/mosml-2.00.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.00.ebuild,v 1.2 2004/01/12 16:46:30 plasmaroo Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-lang/mosml/mosml-2.00.ebuild,v 1.3 2004/02/02 18:06:54 plasmaroo Exp $
S="${WORKDIR}/${PN}/src"
DESCRIPTION="Moscow ML - a lightweight implementation of Standard ML (SML)"
@@ -21,6 +21,7 @@ src_install () {
make MOSMLHOME=${D}/opt/mosml install || die
rm ${D}/opt/mosml/lib/camlrunm # This is a bad symlink
+ echo "#!/opt/mosml/bin/camlrunm" > ${D}/opt/mosml/lib/header
dodoc ../README
into /usr/bin