40175 – camlrunm cannot execute files created with mosml

Bug 40175 - camlrunm cannot execute files created with mosml

Summary: camlrunm cannot execute files created with mosml

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	[OLD] Development (show other bugs)
Hardware:	x86 Linux

Importance:	High normal (vote)
Assignee:	Tim Yamin (RETIRED)

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2004-02-02 06:45 UTC by Mauro Jaskelioff
Modified:	2004-02-02 10:08 UTC (History)
CC List:	0 users

See Also:
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Mauro Jaskelioff 2004-02-02 06:45:17 UTC

It seems that the header file in /opt/mosml/lib is wrong
as it says:
/var/tmp/portage/mosml-2.00/image//opt/mosml/bin/camlrunm
instead of /opt/mosml/bin/camlrunm

Reproducible: Always
Steps to Reproduce:
1.Compile a file
2.Execute it
3.

Actual Results:  
/var/tmp/portage/mosml-2.00/image//opt/mosml/bin/camlrunm: bad interpreter: No
such file or directory

Expected Results:  
Actually execute the file. :)

Portage 2.0.49-r21 (default-x86-1.4, gcc-3.2.3, glibc-2.3.2-r9, 2.4.22-gentoo-r5)
=================================================================
System uname: 2.4.22-gentoo-r5 i686 AMD Athlon(TM) XP 2400+
Gentoo Base System version 1.4.3.10
ACCEPT_KEYWORDS="x86"
AUTOCLEAN="yes"
CFLAGS="-march=athlon-xp -O3 -pipe"
CHOST="i686-pc-linux-gnu"
COMPILER="gcc3"
CONFIG_PROTECT="/etc /usr/X11R6/lib/X11/xkb /usr/kde/2/share/config
/usr/kde/3.1/share/config /usr/kde/3/share/config /usr/share/config
/usr/share/texmf/tex/generic/config/ /usr/share/texmf/tex/platex/config/
/var/qmail/control"
CONFIG_PROTECT_MASK="/etc/gconf /etc/env.d"
CXXFLAGS="-march=athlon-xp -O3 -pipe"
DISTDIR="/usr/portage/distfiles"
FEATURES="autoaddcvs ccache sandbox"
GENTOO_MIRRORS="http://ftp.snt.utwente.nl/pub/os/linux/gentoo
ftp://ftp.tu-clausthal.de/pub/linux/gentoo/
http://212.219.247.15/sites/www.ibiblio.org/gentoo/ rsync://gentoo.seren.com/gentoo"
MAKEOPTS="-j2"
PKGDIR="/usr/portage/packages"
PORTAGE_TMPDIR="/var/tmp"
PORTDIR="/usr/portage"
PORTDIR_OVERLAY=""
SYNC="rsync://rsync.gentoo.org/gentoo-portage"
USE="3dnow X alsa apm arts avi berkdb crypt cups encode foomaticdb gdbm gif
gnome gpm gtk gtk2 imlib java jpeg kde libg++ libwww mad mikmod mmx motif mpeg
ncurses nls oggvorbis opengl oss pam pdflib perl png python qt quicktime
readline sdl slang spell ssl svga tcltk tcpd tetex truetype x86 xml2 xmms xv zlib"

Comment 1 Tim Yamin (RETIRED) gentoo-dev

2004-02-02 10:08:50 UTC

Thanks, fixed. Sync your tree, ensure you've got version 1.3 of the ebuild [ check the "Header:" line ] and merge mosml...