2

I need to get Mosml (Moskow sml) on to my system for university. I never installed anything that wasn't in the software manager or using wine (read: my console skills are low).

the package is here: http://packages.ubuntu.com/hardy/mosml thing is, I haven't got a clue what to do with it.

So far:

  • Tried the mosml.static (a stand-alone toplevel (mosml)) didn't really know what to do with it.

  • tried the source files, extracted them and looked in the install.txt, but I don't get the /bin folder and so it seems to be a dead-end..??

Please help if you have a clue. I really need it and its quite urgent.

  • if any of these answers answerd your question please accept one of them thank you :) – blade19899 Sep 14 '12 at 20:20
3

There is a new version of Moscow ML, 2.10. It is available here: Moscow ML

I have also taken the liberty of creating a mosml package in my launchpad PPA. To install it, issue the following commands:

sudo apt-add-repository ppa:pmunksgaard/mosml
sudo apt-get update
sudo apt-get install mosml

It should work on both 32 and 64 bit systems.

  • package available is for Ubuntu 14.04 Trusty. – Elder Geek Nov 8 '16 at 23:12
1

mosmllib-html.tgz

click on the above link and download the .tar file

Now execute the following commands in order

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
0

Here are the appropriate deb packages:

  • both links are down – Matmarbon Oct 31 '16 at 13:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.