diff options
| -rwxr-xr-x | scripts/ci-install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ci-install.sh b/scripts/ci-install.sh index 05d6d6dc..ddcdb84a 100755 --- a/scripts/ci-install.sh +++ b/scripts/ci-install.sh @@ -16,7 +16,7 @@ mkdir -p ${BUILD_DIR} ${CACHE_DIR} ###################################################################### echo -e "\n\n=============== Install system dependencies\n\n" -PKGS="python-virtualenv virtualenv python-dev libffi-dev build-essential" +PKGS="virtualenv python-dev libffi-dev build-essential" PKGS="${PKGS} gcc-avr avr-libc" PKGS="${PKGS} libnewlib-arm-none-eabi gcc-arm-none-eabi binutils-arm-none-eabi" PKGS="${PKGS} pv libmpfr-dev libgmp-dev libmpc-dev texinfo bison flex" |