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