mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2025-12-21 21:17:37 -08:00
142093975b
Build time dependency of app-emulation/virtualbox-7.1* used for building the docs. Signed-off-by: Viorel Munteanu <ceamac@gentoo.org>
15 lines
419 B
Diff
15 lines
419 B
Diff
dita-ot requires java 17 or higher.
|
|
Set JAVA_HOME accordingly.
|
|
|
|
--- a/bin/dita
|
|
+++ b/bin/dita
|
|
@@ -20,6 +20,8 @@
|
|
# See the License for the specific language governing permissions and
|
|
# limitations under the License.
|
|
|
|
+JAVA_HOME=$(java-config-2 --select-vm $(depend-java-query --get-vm '>=virtual/jre:17') -g JAVA_HOME)
|
|
+
|
|
# Extract launch and ant arguments, (see details below).
|
|
ant_exec_args=
|
|
for arg in "$@" ; do
|