smlnj-110.0.7-run-sml-bindir.patch

smlnj-110.0.7-run-sml-bindir.patch (text/plain), 364 bytes, created by Andrzej Wasowski on 2004-02-26 16:51:39 UTC

--- config.orig/_run-sml	2000-10-20 18:02:25.000000000 +0200
+++ config/_run-sml	2004-02-27 01:04:16.273394488 +0100
@@ -21,7 +21,7 @@
 #
 
 # the path of the directory in which executables (like this file) are kept.
-BIN_DIR=@BINDIR@
+BIN_DIR=$SMLNJ_HOME/bin
 
 # the path of the directory in which the runtime system executables are kept.
 RUN_DIR=$BIN_DIR/.run