From be768f3e10045668edcfba464c99ba03e3e59d12 Mon Sep 17 00:00:00 2001
From: Whitomtit <whitomtit@gmail.com>
Date: Sun, 9 Jun 2024 13:37:57 +0300
Subject: [PATCH] smlnj docker image updated

---
 docker/smlnj/Dockerfile | 10 ++++++----
 docker/smlnj/sml        |  2 ++
 2 files changed, 8 insertions(+), 4 deletions(-)
 create mode 100644 docker/smlnj/sml

diff --git a/docker/smlnj/Dockerfile b/docker/smlnj/Dockerfile
index ea3a90a..090f352 100644
--- a/docker/smlnj/Dockerfile
+++ b/docker/smlnj/Dockerfile
@@ -1,9 +1,9 @@
 FROM ubuntu:20.04
 
-ENV SML_VERSION=110.99.2
+ENV SML_VERSION=110.99.5
 
 RUN apt update \
-	&& apt install -y rlwrap wget build-essential \
+	&& apt install -y rlwrap wget build-essential git \
 	&& apt clean \
 	&& rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*
 
@@ -13,8 +13,10 @@ RUN wget http://smlnj.cs.uchicago.edu/dist/working/${SML_VERSION}/config.tgz \
 	&& tar -xzf config.tgz \
 	&& rm config.tgz \
 	&& config/install.sh \
-    && cp bin/sml /usr/bin
+    && cp bin/sml /usr/bin/smlnj
 
-RUN echo alias rsml="'rlwrap sml'" >> /root/.bashrc
+RUN ln -s /usr/share/smlnj/bin/.heap/sml.amd64-linux /usr/share/smlnj/bin/.heap/smlnj
+COPY sml /bin/sml
+RUN chmod +x /bin/sml
 
 WORKDIR /root/source
diff --git a/docker/smlnj/sml b/docker/smlnj/sml
new file mode 100644
index 0000000..4bfff0b
--- /dev/null
+++ b/docker/smlnj/sml
@@ -0,0 +1,2 @@
+#!/bin/bash
+rlwrap smlnj
\ No newline at end of file