How do I install mosml?

Question

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

score 4 · Accepted Answer · edited Oct 07 '14 at 08:35

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.

edited Oct 07 '14 at 08:35

blade19899

26,704

answered Aug 16 '13 at 12:17

Philip Munksgaard

56
2

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

score 2 · Answer 2 · edited Dec 30 '13 at 10: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

edited Dec 30 '13 at 10:12

blade19899

26,704

answered Sep 10 '12 at 13:22

Shagun Sodhani

842
1
13
36

blade19899 · Answer 3 · 2014-10-07T08:34:22.557

0

Here are the appropriate deb packages:

32bit
amd64

edited Oct 07 '14 at 08:34

answered Sep 10 '12 at 13:46

blade19899

26,704

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

How do I install mosml?

3 Answers3

Linked