gen_cross_toolchain.sh 1.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162
  1. #! /bin/bash
  2. procing() {
  3. trap 'exit 0;' 6
  4. while :; do
  5. for j in '-' '\\' '|' '/'; do
  6. tput sc
  7. echo -ne "[$j]"
  8. sleep 0.1
  9. tput rc
  10. done
  11. done
  12. }
  13. waiting() {
  14. local pid="$1"
  15. echo -ne "\033[1;32m"
  16. echo -n "$2 .................... "
  17. procing &
  18. local tmppid="$!"
  19. wait $pid
  20. tput rc
  21. echo "done"
  22. echo -ne "\033[0m"
  23. echo ""
  24. kill -6 $tmppid >/dev/null 1>&2
  25. }
  26. GIT_PREFIX="https://gitee.com/alios-things"
  27. LOCAL_CC=${TOOLCHAIN_DLDIR}/${RELPATH}/${CC}
  28. LOCAL_AR=${TOOLCHAIN_DLDIR}/${RELPATH}/${AR}
  29. # echo "[RELPATH]: ${RELPATH}"
  30. # echo "[GITPATH]: ${GITPATH}"
  31. which ${CC} > /dev/null 2>&1
  32. if [ $? != 0 ] && [ ! -f ${LOCAL_CC} ]; then
  33. if [ "${GITPATH}" = "" ]; then
  34. echo "Unable to find available toolchain of [${CC}] from local ENV or Internet. Abort!" | grep --color ".*"
  35. echo ""
  36. exit 1
  37. fi
  38. echo -n "${GIT_PREFIX}/${GITPATH} -> "
  39. echo -n "$(basename ${OUTPUT_DIR})/$(basename ${TOOLCHAIN_DLDIR})/"
  40. echo "$(dirname ${RELPATH})"
  41. echo "---"
  42. mkdir -p ${TOOLCHAIN_DLDIR}
  43. cd ${TOOLCHAIN_DLDIR}
  44. git clone -q ${GIT_PREFIX}/${GITPATH} &
  45. waiting "$!" "downloading toolchain for ${CC}"
  46. cd ${OLDPWD}
  47. fi