mosml should find $DESTDIR/usr/local/bin/camlrunm?

[zacque0]

Hi, I have successfully built mosml after git clone. But after installing with:

$ DESTDIR=/tmp/mosml-install make install

if I try to execute mosml in that directory:

$ /tmp/mosml-install/usr/local/bin/mosml
/tmp/mosml-install/usr/local/bin/mosml: 11: exec: /usr/local/bin/camlrunm: not found

it gives me an error saying that camlrunm is not found.

I guess the path to camlrunm is hard-coded into mosml because camlrunm is installed to the same directory $DESTDIR/usr/local/bin/ as mosml.

[zacque0]

Followup

mosml should find $PREFIX/bin/camlrunm as well.

Steps:

1. Edit src/Makefile.inc. Change the PREFIX path, e.g. /tmp/mosml-build.
2. After make install, try to execute $PREFIX/bin/mosml will generate the same error: "/usr/local/bin/camlrunm: not found".

Side-note:
I recommend use PREFIX?=/usr/include in the src/Makefile.inc so that the PREFIX value from the environment can override the value defined in the makefile. E.g. I can do something like this:

PREFIX=/tmp/mosml-build make install