ish-app / ish-app/ish

Segfault when trying to install SMLNJ

Open
#865 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
C
Stars
20.5k
Forks
1.5k
PR merge metrics
No merged PRs in 30d

Description

I tried installing SMLNJ from [their instructions](https://www.smlnj.org/dist/working/110.98/install.html), but got:

```
# config/install.sh
config/install.sh: Using shell /bin/sh.
config/install.sh: SML root is /root.
config/install.sh: Installation directory is /root.
config/install.sh: Installing version 110.98.
config/install.sh: URL of source archive is http://smlnj.cs.uchicago.edu/dist/working/110.98/.
config/install.sh: installing /root/bin/.arch-n-opsys
config/install.sh: Script /root/bin/.arch-n-opsys reports ARCH=x86; OPSYS=linux; HEAP_SUFFIX=x86-linux.
config/install.sh: installing /root/bin/.run-sml
config/install.sh: installing /root/bin/.link-sml
config/install.sh: installing /root/bin/ml-makedepend
config/install.sh: installing /root/bin/heap2exec
config/install.sh: Run-time system already exists.
/root/config/unpack: The bootfiles tree already exists.
config/install.sh: CM metadata directory name is ".cm"
Segmentation fault
config/install.sh !!! Boot code failed, no heap image (sml.x86-linux).
```

`dmesg` reports:

```
# dmesg
56 page fault on 0x5655cd0b at 0xf7fc4f93
114 page fault on 0x5655cd0b at 0xf7fc4f93
```

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reproducing the failure with config/install.sh and inspect the handoff to /root/config/unpack; compare the reported dmesg page faults with the installation output. Done means SMLNJ installation completes without the segmentation fault and produces the expected sml.x86-linux heap image.

Written by the indexing model from the issue text.

Assessment

Tech stack
linux, shell
Domain
cli, operating-systems
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.