Segfault when trying to install SMLNJ
- 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