Instalar Standard ML en local

Vamos a usar PolyML como nuestra implementación de Standard ML.

Si usas Windows, puedes descargar un instalador desde https://github.com/polyml/polyml/releases. Puedes encontrar las instrucciones generales para Linux/OS X/Free BSD en https://github.com/polyml/polyml#readme.

Si quieres instalar desde el código fuente, el proceso es bastante sencillo:

$ git clone https://github.com/polyml/polyml.git
$ cd polyml
$ ./configure

Si quieres instalarlo en una ubicación personalizada, por ejemplo $HOME/.local:

$ ./configure --prefix=$HOME/.local

Último paso:

$ make compiler
$ make install

Comprueba que se ha instalado correctamente:

$ poly

Si ves el intérprete, ¡ya estás listo! Si no, probablemente tengas que añadir $HOME/.local/bin (o <you prefix>/bin) a tu $PATH.