--- a/src/LCF/IsaMakefile Sun Mar 27 16:56:16 2011 +0200 +++ b/src/LCF/IsaMakefile Sun Mar 27 17:32:25 2011 +0200 @@ -8,6 +8,7 @@ images: LCF test: LCF-ex all: images test +smlnj: all ## global settings