build.sh

   1 set -e
   2
   3 if [[ $# == 0 ]]; then
   4   echo -e "\
   5 Usage syntax: ./build.sh <TARGET>
   6
   7 Notes:
   8   * You can specify multiple targets.
   9   * If no targets are specified, *all* of them will be built.
  10   * To clean a target prefix it with \"clean_\".
  11   * To clean all targets just use \"clean\"."
  12   exit 1
  13 fi
  14
  15 if [ -z "$(docker images -q inav-build)" ]; then
  16   echo -e "*** Building image\n"
  17   docker build -t inav-build .
  18   echo -ne "\n"
  19 fi
  20
  21 if [ ! -d ./build ]; then
  22   echo -e "*** Creating build directory\n"
  23   mkdir ./build
  24 fi
  25
  26 echo -e "*** Building targets [$@]\n"
  27 docker run --rm -it -v "$(pwd)":/src inav-build $@
  28
  29 if ls ./build/*.hex &> /dev/null; then
  30   echo -e "\n*** Built targets in ./build:"
  31   stat -c "%n (%.19y)" ./build/*.hex
  32 fi