docker-build-and-run.sh

#!/usr/bin/env bash
IMAGE=wangpengmit/timl
make mlton &&
make -C urweb &&
docker build -t $IMAGE . &&
docker run -it -p 8080:8888 $IMAGE