eldesh/smlnj repository overview

⁠Summary

StandardML of New Jersey(abbrivated SML/NJ) is an implementation of StandardML'97 programming language. SML/NJ provides light weight interactive shell and many tools and libraries.

SML/NJ running on 64bit and 32bit host architectures. This docker image supports both amd64 and 386 linux environment.

Recent versions SML/NJ supports 64/32bit dual mode on 64bit host. This repository images support these mode.

⁠Supported

• 110.99 (latest)
• 110.98.1
• 110.98
• 110.97
• 110.96
• 110.95
• 110.94
• 110.93
• 110.92
• 110.91
• 110.90
• 110.89
• 110.88
• 110.87
• 110.85
• 110.84
• 110.83
• 110.82
• 110.81
• 110.80
• 110.79
• 110.78
• 110.77

⁠Option

When this docker image is executed with no argument, run the sml command via the rlwrap. This rlwrap loads command line history from ~/.sml_history or the file specified with environment variable SML_HISTORY if defined.

For example, run this image like below:

$ docker -it -v $HOME:$HOME \
    -e SML_HISTORY=$HOME/.sml_history \
    eldesh/smlnj:110.98

then host side file ($HOME/.sml_history) will be loaded.

⁠Environment

• based on centos:centos7.4.1708
• SML/NJ is installed to /smlnj

⁠Error

If you take an error such like:

$ docker run -it -v $HOME:$HOME -e SML_HISTORY=$HOME/.sml_history eldesh/smlnj:110.98
rlwrap: error: My terminal reports width=0 (is it emacs?)  I can't handle this, sorry!

It is avoidable with executing shell like below:

$ docker run -it -v $HOME:$HOME -e SML_HISTORY=$HOME/.sml_history eldesh/smlnj:110.98 bash
[smlnj@30e4f88804dd ~]$ ./entrypoint.sh
Standard ML of New Jersey (64-bit) v110.98 [built: Mon Jul 20 15:10:33 2020]
- 

⁠Links

• StandardML of New Jersey (http://www.smlnj.org/⁠)