Re: tool-maven-plugin

Pierre:

I've just added code to check for a property
"keel.maventool.skipversions", this will omit the "version-checking"
part of the new plugin (and should make it faster than it was before).

Also, the tool now pays attention to the "maven.mode.online" flag. If
it's "false", MavenTool will be very fast, as it does not try to check
remote repositories at all.

Mike

On Wed, 2005-10-05 at 05:52, Michael Nash wrote:
> Pierre:
> 
> Yes, that's normal: the maven tool now checks for the latest versions of
> all jars, and notes them in the project.xml. Maybe we need an option to
> disable this? 
> 
> Mike
> 
> On Wed, 2005-10-05 at 05:15, Raoul Pierre wrote:
> > Mike,
> > 
> > I just updated tool-maven and tool-maven-plugin. The time needed by a 
> > maven keel:maven increases a lot, i.e. for the same project.file, from 2 
> > min 37 sec to 6 min 52 sec.
> > 
> > Is it normal?
> > 
> > Pierre
> > 
> > 
> > http://keelframework.org/documentation.shtml
> > Keelgroup mailing list
> > [email protected]
> > http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com
> 
> http://keelframework.org/documentation.shtml
> Keelgroup mailing list
> [email protected]
> http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com

http://keelframework.org/documentation.shtml
Keelgroup mailing list
[email protected]
http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com