| 1234567891011121314151617181920212223242526272829303132333435 |
- #!/usr/bin/env bash
- set -e
- sudo apt-get update
- sudo apt install -y \
- check \
- cmake \
- debhelper \
- fakeroot \
- git \
- graphviz \
- latexmk \
- libsubunit-dev \
- python-sphinx \
- python3-pip \
- tar \
- texlive-fonts-recommended \
- texlive-generic-extra \
- texlive-latex-extra \
- wget
- wget https://github.com/ARMmbed/mbedtls/archive/mbedtls-2.7.1.tar.gz
- tar xf mbedtls-2.7.1.tar.gz
- cd mbedtls-mbedtls-2.7.1
- cmake -DENABLE_TESTING=Off .
- make -j
- sudo make install
- pip install --user cpp-coveralls
- # Pin docutils to version smaller 0.15. Otherwise we run into https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=839299
- pip install --user 'docutils<=0.14'
- pip install --user sphinx_rtd_theme
- pip install --user cpplint
|
