[MLton-devel] Re: MLton debian package

Stephen Weeks MLton@mlton.org
Mon, 30 Sep 2002 10:11:46 -0700


> That rpath warning should be dealt with.  I don't get it when I
> compile your 20020929 sources on a "frozen" machine.  Maybe you have
> something in your environment, or are compiling using a version of
> mlton that injects the -rpath, or something like that?

I'm not sure if you compiled or bootstrapped -- if you did a make
bootstrap, then we should be generating executables with a version of
MLton that behaves identically.  In any case, there's nothing in MLton
that explicitly does anything with rpath.

If I do a simple compile with gcc on my debian machine, I see that
RPATH is set.

% uname -a
Linux debian30 2.2.20-idepci #1 Sat Apr 20 12:45:19 EST 2002 i686 unknown
% cat z.c
#include <stdio.h>

int main () {
	fprintf (stderr, "hello\n");
}
% gcc -o z z.c
% objdump -x z | grep -i rpath
  RPATH       /lib:/usr/lib:/usr/local/lib

Is this supposed to happen?  My machine is very vanilla Debian 3.0.

But I see it happens on my RedHat machines too.

Henry, any comment?


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel