commons-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From henrib <>
Subject Re: [Math] How to select a specific JDK ?
Date Fri, 15 Jun 2012 10:37:00 GMT
Hello Gilles;
Not sure this will fit your purpose but *toolchains* can be used to direct
which JDK is used by Maven.
You'd have to declare the various JDKs accessible in toolchains.xml (in
$user.home/.m2) and configure the plugin in your pom.xml.
By specifying the toolchains JDK vendor/version as properties in different
profiles, it seems it should be possible to switch the JDK by running mvn
with a -P flag.

View this message in context:
Sent from the Commons - Dev mailing list archive at

To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message