Stardust has been (lightly) tested with CVC4 1.1, which you can download from NYU:
It also compiles under MLton version 20100608 (probably other versions, too).
MLton will generate a standalone Stardust executable that does not require an SML compiler to run, but you still need an SML compiler to compile the .stardust.sml file generated by Stardust.
make njto build under SML/NJ. This will generate a "heap image" and a script called stardust-nj, which invokes SML/NJ on the heap image.
make mltonto build under MLton, producing an executable called stardust.
./stardust-nj kennedy11or equivalently,
./stardust-nj ../examples/kennedy11.sdml(If you give a filename without the .sdml extension, Stardust adds .sdml and looks for the file in examples. If you give the .sdml extension, Stardust interprets it as an ordinary pathname.)