[Org-jutil-devel] jml ant tasks

[Marko v. D. <Mar...@cs...>]

I'm busy preparing for the 0.3 release of this weekend. My plan was to include 
jml 3.2 in the jml-ant.jar which contains the ant tasks for jml. The jml jars 
however also contain ANTLR and a few other things. The entire jar file is 
4MB, which seems a bit too big for me.

The most logical thing to do now, I think, is to include only the ant tasks, 
and not to use them in the default targets. If the developer wants to invoke 
jml targets, he'll have to install JML first in his ant/lib directory.

any opinions ?

Marko
-- 
Jutil.org - Programming as you know it is over
http://org-jutil.sourceforge.net