3

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.

Improve this question
1
  • if any of these answers answerd your question please accept one of them thank you :)
    – blade19899
    Sep 14, 2012 at 20:20

3 Answers 3

Reset to default
4

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.

Improve this answer
1
  • package available is for Ubuntu 14.04 Trusty.
    – Elder Geek
    Nov 8, 2016 at 23:12
2

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
Improve this answer
0

Here are the appropriate deb packages:

Improve this answer
1
  • both links are down
    – Matmarbon
    Oct 31, 2016 at 13:32

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .