olzbell.blogg.se - Install sml linux

Using the SML/NJ REPL (Read-Eval-Print Loop) in Emacs

Using the SML/NJ REPL (Read-Eval-Print Loop) in Emacs.

SML/NJ and Emacs are installed on the Linux lab machines. SML programs directly alongside the code. Good syntax highlighting, proper indentation, and the ability to run Strongly recommend using Emacs and its SML Mode, which provides Any editor that can handle plain text will work, but we SML/NJ (Standard ML of New Jersey) compiler and Standard ML programming language, using the ( Get startedįor a large part of the middle of the course, we will work with the

Most of it assumes you are familiar with Emacs. Standard ML on the command line and with SML Mode in the Emacs textĮditor.

Poly/ML and Moscow ML are somewhat minimalist (they don't have MLB support), but easier to modify MLton doesn't have a REPL, but is otherwise manageable to install.This document describes how to use the SML/NJ implementation of SML/NJ is not a modern piece of software in the way that it is distributed. It is supposed to check that a file was already downloaded on lines 205-209.Įvery time I've wanted to install SML/NJ from scratch, I have basically given up and gone with Poly/ML, Moscow ML, MLKit, or MLton, simply because they don't require so much to install. When you grep around for that, it occurs in config/download.sh and config/unpack - the latter, unpack, is a utility used throughout install.sh to ensure that a given sub-directory is present. If you notice, there is a file called config/srcarchiveurl that contains the variable SRCARCHIVEURL. I don't experience that re-running config/install.sh will re-download the source code, but I also don't experience this command succeeding. Install.sh will download the compiler.tgz from internet,not the file I change

Unfortunately, it fails on my machine I don't know if this is because I run MacOS and cc defaults to clang, or what.

Running this seems to overcome many of the complications associated with figuring out how the source code is tied together. It mentions the install.sh that presumably you have tried to run. Scrolling around a bit on their website, there's a link to an installation manual: does not have an SSL certificate, the release-note README links are broken, the GitHub repo doesn't have a top-level README.