安装 SML/NJ 后 - 在 ubuntu 12.04 的终端上未找到命令“sml”

安装 SML/NJ 后 - 在 ubuntu 12.04 的终端上未找到命令“sml”

我根据此说明安装了 SML/NJ下载 Unix

The only file you need to download manually is config.tgz. Unpack, configure by editing config/targets, and install by running config/install.sh. The installer automatically downloads any additional files it might need. For more information, see INSTALL.

我没有配置config/targets并默认使用它。
我安装了所有这些/usr/local/SML/configure

此后我从 SML 文件夹运行 -config/install.sh

它将所有必要的依赖项如 ml-lpt.tgz、cml.tgz... 构建到 SML 文件夹中(我检查过)。

但经过提示config/install.sh: Installation complete.

我检查了sml终端上输入的内容:

nazar_art@nazar-desctop:/usr/local/SML$ sml
No command 'sml' found, did you mean:
 Command 'wml' from package 'wml' (universe)
 Command 'smi' from package 'scmxx' (universe)
 Command 'smc' from package 'smc' (universe)
 Command 'sma' from package 'sma' (universe)
 Command 'sol' from package 'aisleriot' (main)
 Command 'sm' from package 'sm' (universe)
 Command 'sl' from package 'sl' (universe)
sml: command not found

它应该是这样的 -Standard ML of New Jersey v110.75 [built: ...]

编辑:

运行后ls -l /usr/local/SML/

nazar_art@nazar-desctop:~$ ls -l /usr/local/SML/
total 8668
drwxrwxr-x  3 nazar_art nazar_art    4096 Sep  2 23:35 base
drwxrwxr-x  4 nazar_art nazar_art    4096 Sep  2 23:47 bin
-rw-rw-r--  1 nazar_art nazar_art 5848139 Sep 29  2012 boot.x86-unix.tgz
drwxr-xr-x  5 nazar_art nazar_art    4096 Sep 29  2012 ckit
-rw-rw-r--  1 nazar_art nazar_art  194523 Sep 29  2012 ckit.tgz
drwxr-xr-x  5 nazar_art nazar_art    4096 Sep 29  2012 cml
-rw-rw-r--  1 nazar_art nazar_art  105902 Sep 29  2012 cml.tgz
drwxr-xr-x  4 nazar_art nazar_art    4096 Sep  3 00:00 config
drwxrwxr-x 36 nazar_art nazar_art    4096 Sep  2 23:37 lib
drwxr-xr-x  5 nazar_art nazar_art    4096 Sep  2 23:47 ml-burg
-rw-rw-r--  1 nazar_art nazar_art   36339 Sep 29  2012 ml-burg.tgz
drwxr-xr-x  4 nazar_art nazar_art    4096 Sep  2 23:47 ml-lex
-rw-rw-r--  1 nazar_art nazar_art   33154 Sep 29  2012 ml-lex.tgz
drwxr-xr-x  8 nazar_art nazar_art    4096 Sep 29  2012 ml-lpt
-rw-rw-r--  1 nazar_art nazar_art  256313 Sep 29  2012 ml-lpt.tgz
drwxr-xr-x 40 nazar_art nazar_art    4096 Sep 29  2012 MLRISC
-rw-rw-r--  1 nazar_art nazar_art 1422655 Sep 29  2012 MLRISC.tgz
drwxr-xr-x  7 nazar_art nazar_art    4096 Sep 29  2012 ml-yacc
-rw-rw-r--  1 nazar_art nazar_art   99940 Sep 29  2012 ml-yacc.tgz
drwxr-xr-x  4 nazar_art nazar_art    4096 Sep 29  2012 nlffi
-rw-rw-r--  1 nazar_art nazar_art   74481 Sep 29  2012 nlffi.tgz
-rw-rw-r--  1 nazar_art nazar_art  324054 Sep 29  2012 runtime.tgz
drwxr-xr-x 17 nazar_art nazar_art    4096 Sep 29  2012 smlnj-lib
-rw-rw-r--  1 nazar_art nazar_art  396628 Sep 29  2012 smlnj-lib.tgz
drwxr-xr-x  3 nazar_art nazar_art    4096 Sep  2 23:37 trace-debug-profile
-rw-rw-r--  1 nazar_art nazar_art    3902 Sep 29  2012 trace-debug-profile.tgz

- 为什么会发生这种情况?
- 如何解决这个问题?

答案1

如果sml/usr/local/SML目录中,则应该使用它的相对路径:

cd /usr/local/SML/bin
./sml

或绝对路径:

/usr/local/SML/bin/sml

或者/usr/local/SML/bin目录添加到你的 PATH

更多关于:关于命令中点斜杠的使用

相关内容