--- a/src/CCL/IsaMakefile	Sun Mar 27 16:56:16 2011 +0200
+++ b/src/CCL/IsaMakefile	Sun Mar 27 17:32:25 2011 +0200
@@ -8,6 +8,7 @@
 images: CCL
 test: CCL-ex
 all: images test
+smlnj: all
 
 
 ## global settings
changeset 42138	e54a985daa61
parent 36862	952b2b102a0a
child 45860	93eda35a8377