Saturday, April 27, 2024
4
rated 0 times [  4] [ 0]  / answers: 1 / hits: 2687  / 2 Years ago, wed, june 8, 2022, 11:43:10

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.


More From » install-from-source

 Answers
1

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.


[#35784] Wednesday, June 8, 2022, 2 Years  [reply] [flag answer]
Only authorized users can answer the question. Please sign in first, or register a free account.
altybol

Total Points: 364
Total Questions: 138
Total Answers: 121

Location: France
Member since Thu, May 6, 2021
3 Years ago
altybol questions
;