Eu preciso de Mosml (Moskow sml) no meu sistema para a universidade. Eu nunca instalei nada que não estivesse no gerenciador de software ou usando vinho (leia: minhas habilidades no console são baixas).
o pacote está aqui: link coisa é, eu não tenho a menor idéia do que fazer com isso.
Até agora:
Tentei o mosml.static (um toplevel autônomo (mosml)) realmente não sabia o que fazer com ele.
tentei os arquivos fonte, extraí-los e olhei no install.txt, mas eu não entendo a pasta / bin e assim parece ser um beco sem saída .. ??
Por favor, ajude se você tiver uma pista. Eu realmente preciso disso e é bastante urgente.
Existe uma nova versão do Moscow ML, 2.10. Está disponível aqui: ML de Moscou
Eu também tomei a liberdade de criar um pacote mosml no meu PPA da barra de ativação. Para instalá-lo, emita os seguintes comandos:
sudo apt-add-repository ppa:pmunksgaard/mosml
sudo apt-get update
sudo apt-get install mosml
Deve funcionar em sistemas de 32 e 64 bits.
mosmllib-html.tgz
clique no link acima e baixe o arquivo .tar
Agora, execute os seguintes comandos na ordem
tar zxf file.tar.gz
ls
cd path-to-software/ //change to the directory --it will be named something like mos something
./configure
make
make install
Aqui estão os pacotes deb apropriados:
32bit
amd64