check-host-asciidoc.sh 785 B

123456789101112131415161718192021222324252627282930313233343536
  1. #!/bin/sh
  2. candidate="$1" #ignored
  3. asciidoc=`which asciidoc`
  4. if [ ! -x "$asciidoc" ]; then
  5. # echo nothing: no suitable asciidoc found
  6. exit 1
  7. fi
  8. # Output of 'asciidoc --version' examples:
  9. # asciidoc 8.6.7
  10. version=`$asciidoc --version | cut -d\ -f2`
  11. major=`echo "$version" | cut -d. -f1`
  12. minor=`echo "$version" | cut -d. -f2`
  13. bugfix=`echo "$version" | cut -d. -f3`
  14. # To generate the manual, we need asciidoc >= 8.6.3
  15. major_min=8
  16. minor_min=6
  17. bugfix_min=3
  18. if [ $major -gt $major_min ]; then
  19. echo $asciidoc
  20. else
  21. if [ $major -eq $major_min -a $minor -ge $minor_min ]; then
  22. echo $asciidoc
  23. else
  24. if [ $major -eq $major_min -a $minor -eq $minor_min \
  25. -a $bugfix -ge $bugfix_min ]; then
  26. echo $asciidoc
  27. else
  28. # echo nothing: no suitable asciidoc found
  29. exit 1
  30. fi
  31. fi
  32. fi