Repository navigation
mosml should find $DESTDIR/usr/local/bin/camlrunm? #65
Description
Hi, I have successfully built mosml after git clone. But after installing with:
$ DESTDIR=/tmp/mosml-install make installif 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 foundit 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.
Activity
zacque0 commentedon Oct 19, 2021
Followup
mosmlshould find $PREFIX/bin/camlrunm as well.Steps:
src/Makefile.inc. Change the PREFIX path, e.g. /tmp/mosml-build.make install, try to execute$PREFIX/bin/mosmlwill generate the same error: "/usr/local/bin/camlrunm: not found".Side-note:
I recommend use
PREFIX?=/usr/includein thesrc/Makefile.incso that the PREFIX value from the environment can override the value defined in the makefile. E.g. I can do something like this: