commons-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Gilles Sadowski <gil...@harfang.homelinux.org>
Subject [Math] How to select a specific JDK ?
Date Wed, 13 Jun 2012 10:19:00 GMT
Hello.

Are there command-line switches that will select a specific JDK?
I.e. I have several of them installed:

$ ls -l /usr/lib/jvm
total 36
lrwxrwxrwx  1 root root   24 Dec 17 11:04 default-java -> java-1.6.0-openjdk-amd64
lrwxrwxrwx  1 root root   18 Jan  5 18:27 java-1.5.0-gcj -> java-1.5.0-gcj-4.6
drwxr-xr-x  6 root root 4096 Jan 18 15:04 java-1.5.0-gcj-4.4
drwxr-xr-x  6 root root 4096 Mar  7 17:33 java-1.5.0-gcj-4.6
lrwxrwxrwx  1 root root   23 Aug 11  2010 java-1.5.0-sun -> java-1.5.0-sun-1.5.0.22
drwxr-xr-x 10 root root 4096 Aug 11  2010 java-1.5.0-sun-1.5.0.22
lrwxrwxrwx  1 root root   20 Dec 16 18:51 java-1.6.0-openjdk-amd64 -> java-6-openjdk-amd64
lrwxrwxrwx  1 root root   20 May  3 14:00 java-1.7.0-openjdk-amd64 -> java-7-openjdk-amd64
drwxr-xr-x  3 root root 4096 Jan 18 15:38 java-6-openjdk
drwxr-xr-x  7 root root 4096 Mar  7 17:29 java-6-openjdk-amd64
drwxr-xr-x  3 root root 4096 Jan 18 15:38 java-6-openjdk-common
lrwxrwxrwx  1 root root   19 Jun  9  2011 java-6-sun -> java-6-sun-1.6.0.26
drwxr-xr-x  8 root root 4096 Jan 18 15:47 java-6-sun-1.6.0.26
drwxr-xr-x  7 root root 4096 Jun  5 17:12 java-7-openjdk-amd64
drwxr-xr-x  3 root root 4096 Jun  5 17:12 java-7-openjdk-common
lrwxrwxrwx  1 root root   12 Jan  5 18:27 java-gcj -> java-gcj-4.6
lrwxrwxrwx  1 root root   18 Apr 29  2010 java-gcj-4.4 -> java-1.5.0-gcj-4.4          
                                                                
lrwxrwxrwx  1 root root   18 Nov 14  2011 java-gcj-4.6 -> java-1.5.0-gcj-4.6 

and I'd like to be able to say something like
  -D...=/usr/lib/jvm/java-7-openjdk-amd64
so that maven will use the corresponding compiler and JVM.

Does the default configuration already cares for this? If so, which are the
command-lins options?

If not, I guess that this should be defined in a "profile" in
"settings.xml". If so, could someone post such a profile?


Thanks,
Gilles

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@commons.apache.org
For additional commands, e-mail: dev-help@commons.apache.org


Mime
View raw message