SML New Jersey

Archived topics about LMDE 1
Forum rules
pat_
Level 1
Level 1
Posts: 4
Joined: Fri Jan 20, 2012 10:03 pm

SML New Jersey

Postby pat_ » 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: 4
Joined: Fri Jan 20, 2012 10:03 pm

Re: SML New Jersey

Postby pat_ » 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?

kseise
Level 1
Level 1
Posts: 17
Joined: Mon Feb 18, 2008 1:44 pm

Re: SML New Jersey

Postby kseise » 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.

pat_
Level 1
Level 1
Posts: 4
Joined: Fri Jan 20, 2012 10:03 pm

Re: SML New Jersey

Postby pat_ » 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

User avatar
GeneC
Level 7
Level 7
Posts: 1603
Joined: Fri Sep 03, 2010 1:59 pm
Location: Maine, USA

Re: SML New Jersey

Postby GeneC » 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

pat_
Level 1
Level 1
Posts: 4
Joined: Fri Jan 20, 2012 10:03 pm

Re: SML New Jersey

Postby pat_ » 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.


Return to “Archive”

Who is online

Users browsing this forum: No registered users and 7 guests