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