Estou um pouco perdido. Normalmente, obter algo relacionado com programação trabalhando no Ubuntu é indolor, enquanto o Windows é sempre uma dor. Não é o caso desta vez. Eu segui as instruções daqui ...
"O único arquivo que você precisa baixar manualmente é config.tgz. Descompacte, configure editando config / targets e instale executando config / install.sh."
Eu adicionei uma pasta em casa com o rótulo "smlnj", extraí os arquivos e, em seguida, executei a configuração
Depois disso, adicionei o caminho ...
sudo gedit ~/.bashrc
export PATH=$PATH:/home/andyd/smlnj
Quando eu digito "sml" no terminal, recebo a seguinte mensagem ...
"O programa 'sml' atualmente não está instalado. Você pode instalá-lo digitando: sudo apt-get install smlnj"
Não sei porque estou conseguindo isso. Eu estaria totalmente bem com apenas fazer o apt-get, mas eu preciso da versão 117.90 para a classe e o apt-get continua instalando 117.82.
Alguém pode me ajudar com isso? Eu ainda sou um pouco novato quando se trata de Linux
Do arquivo INSTALL :
i.e. se você instalou no diretório d=/home/andyd/smlnj , então você deve export PATH=$PATH:/home/andyd/smlnj/bin
BTW é uma prática ruim usar sudo para editar arquivos em seu próprio diretório de usuários, e uma prática ruim para usar sudo em todos os aplicativos com GUI, como gedit : pode levar a arquivos inesperados questões de propriedade.