Ubuntu – How to install mosml

install-from-source

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.

Best Answer

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.

Related Question