We have Jenkins 1.561 running on a 64-bit Windows 7 Professional SP1 box.
This is our primary build machine, it runs Jenkins as well as most of our
actual builds. (Our load isn't sufficient to require a more complicated
multi-server structure).
Now my understanding is that Jenkins is written in Java, and relies on the
JRE.
We've recently started Android development, which means I need to install
Android Studio/gradle/et al. on the build machine. Which is also the
machine on which Jenkins runs.
Android Studio is also written in Java, and needs the JDK installed. Now
it's perfectly possible to have two different versions of Java installed on
the same machine, without conflict. But it's also possible for a new
installation to mess up programs that rely on the old, without realizing it.
So I'm trying to track down just what are the Java dependencies within our
existing Jenkins installation. And I'm not having much luck.
I don't see any version of Java in the Windows Control Panel's list of
installed programs ("Programs and Features").
Browsing around the web, I've seen references to a jenkins.xml file, that
was supposed to be sitting in $JENKINS_HOME, that had a default setting
pointing to $JENKINS_HOME/jre. But I don't see any such file in
$JENKINS_HOME, and I don't see a jre directory, in $JENKINS_HOME or
anywhere else.
When I go into Manage Jenkins => Configure System, I see a section "JDK
Installations", but there are none configured.
Are these configuration settings and defaults different, on Windows, have
they moved?
Where is the JRE that my install of Jenkins is depending on? And where is
the configuration setting that creates that dependency?
--
You received this message because you are subscribed to the Google Groups
"Jenkins Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jenkinsci-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-users/118d4a08-0e6d-4c56-98a1-0a513420f1f1%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
