Run the source code under SML/NJ (Standard ML of New Jersey) then issue the command
exportML "sml_prover";
to create an executable file (actually a version of SML/NJ with the prover commands pre-loaded).
