Ensure fresh Python 2.7 on Trusty and compatible Intervaltree (#2645)

Recent failures of the Mbed OS target came from two independent
issues:
- some python packages started requiring Python>=2.7.10, and
- the latest Intervaltree 3.0.0 release was released broken.

This patch ensures a fresh python by 'lying' to the CI that this
is a Python project (Python images on the CI come with a recent
interpreter, not with the one shipped as default with the OS), and
locks Intervaltree to a stable version.

JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
This commit is contained in:
Akos Kiss
2018-12-17 16:15:14 +01:00
committed by GitHub
parent a1595fa23a
commit ae91800e4b
2 changed files with 6 additions and 4 deletions
+4 -4
View File
@@ -23,17 +23,17 @@ all:
# Deploy Mbed and install Mbed Python dependencies.
install:
pip install --user mbed-cli
pip install mbed-cli
cd targets/mbedos5 && mbed deploy
pip install --user mbed-host-tests==1.4.2 # FIXME: mbed-host-tests 1.4.4 requires pyocd>=0.14.0, which cannot be satisfied for whatever reason
pip install --user -r targets/mbedos5/mbed-os/requirements.txt
pip install intervaltree==2.1.0 # FIXME: workaround until chaimleib/intervaltree#77 is fixed
pip install -r targets/mbedos5/mbed-os/requirements.txt
## Targets for building Mbed OS 5 with JerryScript.
# Build the firmware (Mbed OS 5 with JerryScript).
script:
pip install --user -r targets/mbedos5/tools/requirements.txt
pip install -r targets/mbedos5/tools/requirements.txt
# HACK: `EXTRA_SRC[_MOD]` are abused to pass `--library` to `mbed compile` in the `all` make target that builds an app
# HACK: this is needed because the Mbed OS 5 target code does not contain any `main` function, so the `all` make target does not link
# HACK: but the `library` make target does not build either because the launcher sources require `jerry-targetjs.h` that are explicitly not generated for libraries