Travis: add a baremetal build
Add a baremetal build to Travis, to catch inadvertent dependencies on
platform functions.
The exact choice of target platform doesn't matter for this purpose.
Pick one that's present in all.sh, that uses a compiler that's
available in the Travis build environment (Ubuntu 16.04), and that
happens to be close to the Debian "armel" distribution.
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/.travis.yml b/.travis.yml
index 39933b5..0569909 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -12,6 +12,8 @@
- gnutls-bin
- doxygen
- graphviz
+ - gcc-arm-none-eabi
+ - libnewlib-arm-none-eabi
language: python # Needed to get pip for Python 3
python: 3.5 # version from Ubuntu 16.04
install:
@@ -19,6 +21,7 @@
script:
- tests/scripts/all.sh -k 'check_*'
- tests/scripts/all.sh -k test_default_out_of_box
+ - tests/scripts/all.sh -k build_arm_none_eabi_gcc_arm5vte
- name: full configuration
script: