Eu instalei o SML / NJ de acordo com estas instruções Downloads 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.
Eu não configurei config/targets e deixei por padrão.
Eu instalei tudo isso em /usr/local/SML/configure
Depois disso eu corro da pasta SML - config/install.sh
Ele constrói toda a dependência necessária como ml-lpt.tgz, cml.tgz ... na pasta SML (eu verifiquei).
Mas após o prompt config/install.sh: Installation complete.
Eu verifiquei digitado sml no terminal:
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
Deve ser assim - Standard ML of New Jersey v110.75 [built: ...]
Editar:
depois de executar 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
- Por que isso acontece?
- Como resolver este problema?
Se sml estiver no diretório /usr/local/SML , você deverá usar seu caminho relativo:
cd /usr/local/SML/bin
./sml
ou caminho absoluto:
/usr/local/SML/bin/sml
Ou adicione o diretório /usr/local/SML/bin ao seu PATH .
Mais sobre: Sobre o uso do Dot-Slash em comandos .