Das persönliche Profil (https://zivgitlab.uni-muenster.de/USERID) wurde für alle Nutzer administrativ auf "privat" gesetzt. Wenn sie möchten, dass dieses wieder für alle internen Nutzer sichtbar wird, deaktivieren sie bitte das "private profile" unter den persönlichen Einstellungen (https://zivgitlab.uni-muenster.de/-/profile).

add a script to build wheels

parent b78d849f
Pipeline #68042 passed with stages
in 61 minutes and 43 seconds
#!/usr/bin/env bash
THISDIR="$(cd "$(dirname ${BASH_SOURCE[0]})" && pwd -P )"
set -e
# default command is "build-wheels.sh"
# this deletes testtols and uggrid source dirs
docker run -e DUNE_SRC_DIR=/home/dxt/src -v ${THISDIR}:/home/dxt/src \
-it dunecommunity/manylinux-2014:ddb4b80
-it dunecommunity/manylinux-2014:${ML_TAG}
docker run -v ${THISDIR}/docker/wheelhouse/final:/wheelhouse:ro -it pymor/testing_py3.8:latest \
bash -c "pip install /wheelhouse/dune* && python -c 'from dune.xt import *; from dune.gdt import *'"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment