SML New Jersey

Questions about applications and software
Forum rules
Before you post please read how to get help

SML New Jersey

Postby pat_ on Tue Feb 07, 2012 8:34 pm

Hey folks,
since this is my first post: LMDE is a great distribution, switched here after two years of ubuntu and even more things work out of the box than there.

Now to the point: How can I get SML/NJ installed (and yes I really want SML/NJ because of the lazy features, I'll need it for a University course).

Code: Select all
apt-get sml-nj
didn't work, so I guess, there's no package named like this, also searched for similar named packages and it seemed like there are none.
in fact the only package with sml in it's name is the sml-mode for emacs, which is great, now can program sml, ssh to university or my old computer which both have it and execute it there, but that's…

I think my options are at this point:
  • do the old scool install way (including downloading tarballs and compiling them)
  • get the magic keyword for the sources list, bad thing is, i'm not well acustomed with the debian infrastructure as I'm used to have a ppa floating around

so what should I do?

edit: Sorry you guys from New Jersey, think I mistyped your state.
pat_
Level 1
Level 1
 
Posts: 5
Joined: Fri Jan 20, 2012 10:03 pm

Linux Mint is funded by ads and donations.
 

Re: SML New Jersey

Postby pat_ on Tue Feb 07, 2012 10:46 pm

Update: Hmm compiling that program isn't that easy as I thought, because i have a 64 Bit linux, has anyone got that compiling there?
pat_
Level 1
Level 1
 
Posts: 5
Joined: Fri Jan 20, 2012 10:03 pm

Re: SML New Jersey

Postby kseise on Tue Feb 07, 2012 10:55 pm

Don't compile! It's in the Repo. Just do sudo apt-get install smlnj
It doesn't need the hyphen in there. You can search easily by opening Synaptic. Sometimes the name is not blatantly obvious.
kseise
Level 1
Level 1
 
Posts: 17
Joined: Mon Feb 18, 2008 1:44 pm

Re: SML New Jersey

Postby pat_ on Wed Feb 08, 2012 4:00 pm

it isn't on my machine, the only sml i can get are mlton and polyml (and sml-mode which isn't a sml, but an emacs mode)
And I've tried it with `sml` `smlnj` `sml-nj` and some other spellings (like SML)

here is my sources list (still clean, but with those "update packages"):

Code: Select all
deb http://packages.linuxmint.com/ debian main upstream import
deb http://debian.linuxmint.com/latest testing main contrib non-free
deb http://debian.linuxmint.com/latest/multimedia testing main non-free
deb http://debian.linuxmint.com/latest/security testing/updates main contrib non-free
pat_
Level 1
Level 1
 
Posts: 5
Joined: Fri Jan 20, 2012 10:03 pm

Re: SML New Jersey

Postby GeneC on Wed Feb 08, 2012 4:47 pm

Hi Pat

Welcome to LMDE.

Its in the testing repo. you could temporarily add testing
Code: Select all
deb http://ftp.us.debian.org/debian testing main contrib non-free
to your souces list.
Install it, then comment out the testing repo.Image
GeneC

AMD Phenom2x4 3.2 ghz, 12GB DDR3, Nvidia GTX 460

Sparky Cin 2.2 (Debian Testing)
Manjaro .9.0dev (Cin 2.4) Unstable
Sparky Gnome 3.14 (SID)
User avatar
GeneC
Level 7
Level 7
 
Posts: 1575
Joined: Fri Sep 03, 2010 1:59 pm
Location: Maine, USA

Re: SML New Jersey

Postby pat_ on Wed Feb 08, 2012 4:54 pm

seems like smlnj isn't available in the sqeeze repositories
I have downloaded the lenny .deb files and they work.

Thanks for the help.

Oh you posted at the same time, thanks I'll remember that, but now I had done it by hand (which is not as secure because i downloaded without keys, only with sha1 sums from the same site where i downloaded it)

And acutally didn't work, because some of the sml-nj features (especially those that i need…) don't work with a 3.x kernel in the old Lenny version, so thanks for the testing repo, wanted to see whats there anyway soon.
pat_
Level 1
Level 1
 
Posts: 5
Joined: Fri Jan 20, 2012 10:03 pm


Return to Software & Applications

Who is online

Users browsing this forum: No registered users and 5 guests