diff --git a/doc_src/build.xml b/doc_src/build.xml index 5908b8228d..d46e9fdf5f 100644 --- a/doc_src/build.xml +++ b/doc_src/build.xml @@ -27,6 +27,66 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/doc_src/detect_build_method b/doc_src/detect_build_method new file mode 100755 index 0000000000..eead6d9943 --- /dev/null +++ b/doc_src/detect_build_method @@ -0,0 +1,21 @@ +#!/usr/bin/bash + +## RESULT +METHOD="container" + +## Detect container runtime and cli +CMD="$(type -p docker)" && $CMD info >/dev/null 2>&1 || CMD="$(type -p nerdctl)" +if [ "$CMD" == "" ]; then + METHOD="ant" +else + $CMD info > /dev/null 2>&1 || METHOD="ant" +fi + +## Detect ant, and dependencies +if [ "$METHOD" == "ant" ]; then + CMD="$(type -p ant)" + if [ "$CMD" != "" ]; then + $CMD check-dependencies >> /dev/null 2>&1 || METHOD="" + fi +fi +echo $METHOD \ No newline at end of file