mlworks
mlworks copied to clipboard
Smlnj 110 bootstrap
I think I've managed to bootstrap with SML/NJ v110.74 on Debian/Wheezy.
To try it out, execute sml make/smlnj-boot.sml
.
This should load the MLWorks compiler into SMLNJ and then build the .mo files.
But first a couple of symbolic links and some files in rts/gen/ must be generated. The complete sequence should look like this:
cd mlworks/src
git checkout smlnj-110-bootstrap
ln -s i386/ machine
ln -s unix/ system
ln -s ../system/_os.sml main
ln -s ../system/__os.sml main
make -C rts/ ARCH=I386 OS=Linux
sml make/smlnj-boot.sml
After all .mo files are ready building the batch.img should work as usual:
make -C images/I386/Linux/ OS=Linux ARCH=I386 batch.img
The guib.img can be built with:
LD_LIBRARY_PATH=rts/bin/I386/Linux/ rts/bin/I386/Linux/main-g -MLWpass xx -load images/I386/Linux/batch.img xx -pervasive-dir pervasive/ -project xinterpreter.mlp -configuration I386/Linux -target xinterpreter.sml -build
make -C images/I386/Linux/ OS=Linux ARCH=I386 guib.img
That can be started with:
XUSERFILESEARCHPATH=app-defaults/MLWorks-mono LD_LIBRARY_PATH=rts/bin/I386/Linux/ rts/bin/I386/Linux/main-g -MLWpass xx -load images/I386/Linux/guib.img xx
The command line option "-tty" can be used start MLWorks without the GUI environment.
The testsuite can be run with:
cd ../test_suite/
CHECK_SUCCESS_ALL -src ../src -dir I386/Linux
For me all tests except "./basis/real_arrays.sml" succeed.