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

[#134] Fails to build with Linux kernel 4.x

Date:
2015-07-08 14:41
Priority:
3
State:
Closed
Submitted by:
James McCoy (jamessan)
Assigned to:
John Reppy (jhr)
Machine Architecture:
x86
Operating System:
Linux
Component:
Installer
Resolution:
Fixed
Severity:
Major
OS Version:
Debian sid
SML/NJ Version:
110.78
Keywords:
URL:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=790283
Transcript (of reproduction):
make[1]: Entering directory '/tmp/buildd/smlnj-110.76' echo "s,@SHELL@,/bin/sh,g" > vars.sed echo "s,@SMLNJ_HOME@,/usr/lib/smlnj," >> vars.sed echo "s,@BINDIR@,/usr/lib/smlnj/bin," >> vars.sed echo "s,@VERSION@,110.76," >> vars.sed cat /tmp/buildd/smlnj-110.76/config/_arch-n-opsys | sed -f vars.sed > arch-n-opsys chmod 777 arch-n-opsys eval `./arch-n-opsys` && /usr/bin/make -f debian/rules boot.$ARCH-unix.tgz; make[2]: Entering directory '/tmp/buildd/smlnj-110.76' for f in *tgz; do tar zxf $f -C bootstrap; done mkdir -p bootstrap/base for f in base/*tgz; do tar zxf $f -C bootstrap/base; done cd bootstrap && URLGETTER=/bin/false ./config/install.sh ./config/install.sh: Using shell /bin/sh. ./config/install.sh: SML root is /tmp/buildd/smlnj-110.76/bootstrap. ./config/install.sh: Installation directory is /tmp/buildd/smlnj-110.76/bootstrap. ./config/install.sh: Installing version 110.76. ./config/install.sh: URL of source archive is http://smlnj.cs.uchicago.edu/dist/working/110.76/. ./config/install.sh: !!! Script /tmp/buildd/smlnj-110.76/bootstrap/bin/.arch-n-opsys fails on this machine. ./config/install.sh: !!! You must patch this by hand and repeat the installation. debian/rules:40: recipe for target '/tmp/buildd/smlnj-110.76/bootstrap/bin/sml' failed make[2]: *** [/tmp/buildd/smlnj-110.76/bootstrap/bin/sml] Error 2 make[2]: Leaving directory '/tmp/buildd/smlnj-110.76' debian/rules:56: recipe for target 'boot' failed make[1]: *** [boot] Error 2 make[1]: Leaving directory '/tmp/buildd/smlnj-110.76' debian/rules:78: recipe for target 'build-arch-stamp' failed make: *** [build-arch-stamp] Error 2
Source (for reproduction):
Summary:
Fails to build with Linux kernel 4.x

Detailed description
The kernel checks in _arch-n-opsys only know about 2.x and 3.x kernels, so the script fails when the host is running a 4.x kernel.

The transcript showing the bug is from 110.76, but I've verified that the same issue occurs in 110.78.

Kernels prior to 2.2 are pretty old (1998 was the release of the last 2.1.x kernel), so it may be worthwhile to just drop that check. If not, I've included a patch to blacklist old kernels rather than whitelist new kernels.

Comments:

Message  ↓
Date: 2015-07-09 08:01
Sender: John Reppy

Fixed for 110.79.

Attached Files:

Attachments:
Size Name Date By Download
444 bytes_arch-n-opsys.diff2015-07-08 14:41jamessan_arch-n-opsys.diff

Changes

Field Old Value Date By
status_idOpen2015-07-09 08:01jhr
close_dateNone2015-07-09 08:01jhr
assigned_tonone2015-07-09 08:01jhr
ResolutionNone2015-07-09 08:01jhr
File Added7: _arch-n-opsys.diff2015-07-08 14:41jamessan