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 XFCE (Debian SID)
Arch XFCE-4.12
EvolveOS - Budgie
User avatar
GeneC
Level 7
Level 7
 
Posts: 1584
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 6 guests