[ library(java_vc) | Reference Manual | Alphabetic Index ]

find_java(-JavaLocation)

Determine the path of the known Java installation.
JavaLocation
A string: the path of the known Java Runtime Environment installation.

Description

If this predicate succeeds, JavaLocation is instantiated to the root directory of the Java Runtime Environment which ECLiPSe will use to run a new Java VC. If the predicate fails, this means that to use the you need to install a Java Runtime Environment (JRE) on your computer (at least version 1.2.2) and then re-run the installation script.

Resatisfiable

no