diff options
| -rw-r--r-- | .ci/docker/ubuntu-bionic | 1 | ||||
| -rw-r--r-- | .ci/docker/ubuntu-xenial | 1 | ||||
| -rwxr-xr-x | .ci/script.sh | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/.ci/docker/ubuntu-bionic b/.ci/docker/ubuntu-bionic index b7643438e..9b389a42c 100644 --- a/.ci/docker/ubuntu-bionic +++ b/.ci/docker/ubuntu-bionic @@ -13,6 +13,7 @@ RUN apt-get install -y \ lsb-release \ pkg-config \ python3 \ + python3-dev \ python3-distutils \ software-properties-common \ sudo diff --git a/.ci/docker/ubuntu-xenial b/.ci/docker/ubuntu-xenial index 693e8a1fd..bce1f2b75 100644 --- a/.ci/docker/ubuntu-xenial +++ b/.ci/docker/ubuntu-xenial @@ -13,5 +13,6 @@ RUN apt-get install -y \ lsb-release \ pkg-config \ python3 \ + python3-dev \ software-properties-common \ sudo diff --git a/.ci/script.sh b/.ci/script.sh index f213df283..66b814ed6 100755 --- a/.ci/script.sh +++ b/.ci/script.sh @@ -7,6 +7,7 @@ if [[ "$TRAVIS_OS_NAME" == "linux" && "$CXX" = "g++" ]]; then $SUDO apt-get update $SUDO apt-get install -y python3 $SUDO apt-get install -y python3-pip + $SUDO apt-get install python3-dev $SUDO pip3 install -U wheel $SUDO pip3 install -U setuptools python3 setup.py install --user |