Home My Page Projects Code Snippets Project Openings SML/NJ Bugs
Summary Activity Tracker Lists

[#83] No support for Kernel 3.x

Date:
2011-10-26 01:39
Priority:
3
State:
Closed
Submitted by:
Bug Submitter (webuser)
Assigned to:
John Reppy (jhr)
Machine Architecture:
x86
Operating System:
Linux
Component:
Other
Resolution:
Fixed
Severity:
Critical
OS Version:
Ubuntu 11.10
SML/NJ Version:
110.72-1
Keywords:
.arch-n-opsys
URL:
Transcript (of reproduction):
$ sml sml: unable to determine architecture/operating system $ uname -r 3.0.0-11-generic $ uname -m i686
Source (for reproduction):
Try to start sml/nj on an x686 machine with a kernel newer than 2.6.
Summary:
No support for Kernel 3.x

Detailed description
It is not possible to start sml/nj on an x686 machine running a
kernel newer than 2.6, due to the immensely ugly \.arch-n-opsys\
script that apparently is run when you start sml/nj.

Ubuntu 11.10 ships with kernel 3.0.0-11-generic, and is thus not
supported. Someone seems to have made a temporary fix [1], however
that script seriously ought to be fixed. As far as I can see, then
the only reason why kernel versions are being explicitly checked,
is because kernel 2.2.x and below is not supported (as no extra
flags are set in the specific cases).

x86_64 seems to just fall back on x86, without having this check
for kernel 2.2. Maybe this entire script ought to have an audit
as it seems like hack upon hack upon hack...

[1] : https://answers.launchpad.net/ubuntu/+source/smlnj/+question/174447
Submitted via web form by Jesper Reenberg jesper.reenberg@gmail.com

Comments:

Message  ↓
Date: 2011-10-26 02:06
Sender: Lars Bergstrom

Fixed. We now support all 3.x kernels.

Attached Files:

Changes

Field Old Value Date By
assigned_tonone2011-11-26 15:57jhr
close_date2011-11-26 15:572011-11-26 15:57jhr
close_date2011-10-28 17:262011-10-28 17:26jhr
ResolutionNone2011-10-28 17:26jhr
status_idOpen2011-10-26 02:06larsberg
close_date2011-10-26 02:062011-10-26 02:06larsberg