[ci] also try to install directly

Author: renefritze

.binder/Dockerfile

@@ -5,7 +5,7 @@
 # the container, local dev needs it in path from mounted src
 # we trick docker into fulfilling both roles via a conditional ONBUILD
 # if you want to use the local dev setup, see docker/docker-compose.yml
-ARG BASE=pymor/testing_py3.9:133249e1ace233311c1dbcfc2e70b3f8624058a8
+ARG BASE=pymor/testing_py3.9:41fca6eecc2a539f73a04be0255f4dc44edc9f43
 ARG BUILD_ENV=binder
 
 FROM $BASE as image_binder
@@ -26,13 +26,11 @@ ARG NB_UID
 ARG PYMOR_JUPYTER_TOKEN
 
 USER root
-RUN useradd -d /home/pymor --shell /bin/bash -u ${NB_UID} -o -c "" -m ${NB_USER} && \
-    chown -R ${NB_USER} /home/pymor /src/ && \
-    apt update && \
-    apt install -y libtbb-dev
+# RUN useradd -d /home/pymor --shell /bin/bash -u ${NB_UID} -o -c "" -m ${NB_USER} && \
+#     chown -R ${NB_USER} /home/pymor /src/ 
 
-RUN bash -c "([[ -e /src/setup.py ]] && pip install /src || echo 'no install needed') && pip install jupyter"
-USER ${NB_USER}
+# # RUN bash -c "([[ -e /src/setup.py ]] && pip install /src || echo 'no install needed') && pip install jupyter"
+# USER ${NB_USER}
 
 ENV JUPYTER_TOKEN=${PYMOR_JUPYTER_TOKEN} \
     USER=${NB_USER} \

.binder/Dockerfile.in

@@ -26,13 +26,11 @@ ARG NB_UID
 ARG PYMOR_JUPYTER_TOKEN
 
 USER root
-RUN useradd -d /home/pymor --shell /bin/bash -u ${NB_UID} -o -c "" -m ${NB_USER} && \
-    chown -R ${NB_USER} /home/pymor /src/ && \
-    apt update && \
-    apt install -y libtbb-dev
+# RUN useradd -d /home/pymor --shell /bin/bash -u ${NB_UID} -o -c "" -m ${NB_USER} && \
+#     chown -R ${NB_USER} /home/pymor /src/ 
 
-RUN bash -c "([[ -e /src/setup.py ]] && pip install /src || echo 'no install needed') && pip install jupyter"
-USER ${NB_USER}
+# # RUN bash -c "([[ -e /src/setup.py ]] && pip install /src || echo 'no install needed') && pip install jupyter"
+# USER ${NB_USER}
 
 ENV JUPYTER_TOKEN=${PYMOR_JUPYTER_TOKEN} \
     USER=${NB_USER} \

.ci/azure-pipelines.yml

@@ -21,3 +21,4 @@ container: $[ variables['containerImage'] ]
 steps:
 - script: ./.ci/pytest.bash
 - script: ./.ci/wheel.bash
+- script: ./.ci/install.bash

.ci/install.bash

@@ -0,0 +1,15 @@
+#!/bin/bash
+
+set -e
+set -x
+
+BASE_DIR="$(cd "$(dirname ${BASH_SOURCE[0]})" ; cd ../ ; pwd -P )"
+
+source ${BASE_DIR}/.ci/common_setup.bash
+
+python -m pip install .
+
+python -m pip uninstall -y pymor_dealii
+
+python -m pip install -e .
+

.env

@@ -1,4 +1,4 @@
 DOCKER_BASE_PYTHON=3.9
-PYPI_MIRROR_TAG=133249e1ace233311c1dbcfc2e70b3f8624058a8
-CI_IMAGE_TAG=133249e1ace233311c1dbcfc2e70b3f8624058a8
+PYPI_MIRROR_TAG=41fca6eecc2a539f73a04be0255f4dc44edc9f43
+CI_IMAGE_TAG=41fca6eecc2a539f73a04be0255f4dc44edc9f43
 PYMOR_TEST_OS=debian_buster