install_deps.sh 535 B

1234567891011121314151617
  1. sudo apt-get install -y make gdb
  2. sudo apt-get install -y texinfo gawk bison sed
  3. sudo apt-get install -y python3-dev python-is-python3
  4. if [ -z "$ARCH" ] || [ "$ARCH" != "x86_64" ] && [ "$ARCH" != "riscv" ] && [ "$ARCH" != "aarch64" ]; then
  5. echo "No ARCH specified, use x86_64 as default"
  6. export ARCH="x86_64"
  7. fi
  8. if [ "$ARCH" == "riscv" ] || [ "$ARCH" == "aarch64" ]; then
  9. export TRIPLET=${ARCH}-linux-gnu
  10. fi
  11. if [ "$ARCH" == "x86_64" ] ; then
  12. export TRIPLET=x86-64-linux-gnu
  13. fi
  14. sudo apt-get install -y gcc-${TRIPLET}