eldesh/smlsharp repository overview

⁠Summary

This docker image hosts the compiler & the repl of SML#⁠ on GNU/Linux x86_64. The SML# interactive shell is executed in /smlsharp .

⁠Environment

• base image: centos:centos7.4.1708
• the interactive shell is executed in /smlsharp
• SML# compiler is installed to /usr/local/bin/
• source code distribution is deployed in /smlsharp-${SMLSHARP_VERSION}

⁠How to use

⁠Interactive Mode

Run this image with no arguments, smlsharp is executed in interactive mode.

$ sudo docker run -it --rm smlsharp:3.6.0
SML# 3.6.0 (2020-05-29 09:58:49 JST) for x86_64-unknown-linux-gnu with LLVM 9.0.0
# 1;
val it = 1 : int
# "SML#";
val it = "SML#" : string

⁠Batch Mode

Run this image with any arguments, smlsharp is executed in batch mode.

$ sudo docker run -it --rm -v `pwd`:/smlsharp/src smlsharp:3.6.0 smlsharp src/main.sml -o src/main
$ ./main

⁠Supported versions:

• 3.7.0 (latest)
• 3.6.0
• 3.5.0
• 3.4.0
• 3.3.0
• 3.2.0
• 3.1.0
• 3.0.1
• 3.0.0
• 2.0.0
• 1.2.0
• 1.1.0
• 1.0.3
• 1.0.2
• 1.0.1
• 1.0.0
• 0.90 (i386)

⁠Link

• The official SML# web site (http://www.pllab.riec.tohoku.ac.jp/smlsharp/⁠)
• Bug reporting (Unofficial) (https://github.com/smlsharp/smlsharp/issues⁠)