Skip to content
Snippets Groups Projects
Select Git revision
  • 2408aa31e3e86b485935100f5e2e6bc5e83f4671
  • develop default protected
  • save_clemence
  • feature/composite-scheme-other-fluxes
  • feature/advection
  • origin/stage/bouguettaia
  • feature/local-dt-fsi
  • feature/variational-hydro
  • feature/gmsh-reader
  • feature/reconstruction
  • feature/kinetic-schemes
  • feature/composite-scheme-sources
  • feature/serraille
  • feature/composite-scheme
  • hyperplastic
  • feature/polynomials
  • feature/gks
  • feature/implicit-solver-o2
  • feature/coupling_module
  • feature/implicit-solver
  • feature/merge-local-dt-fsi
  • v0.5.0 protected
  • v0.4.1 protected
  • v0.4.0 protected
  • v0.3.0 protected
  • v0.2.0 protected
  • v0.1.0 protected
  • Kidder
  • v0.0.4 protected
  • v0.0.3 protected
  • v0.0.2 protected
  • v0 protected
  • v0.0.1 protected
33 results

EconomicalGaussQuadrature.cpp

Blame
  • docker-pugs.sh 2.05 KiB
    #! /bin/sh
    
    DOCKER=$(command -v docker 2>/dev/null)
    
    if [ "${DOCKER}" = "" ]
    then
        echo Could not find Docker on your system. Check your installation.
        exit 1
    fi
    
    echo "Using docker: ${DOCKER}"
    
    USABLE_DOCKER=$(${DOCKER} info >/dev/null 2>&1 && echo yes)
    
    if [ "${USABLE_DOCKER}" != "yes" ]
    then
       echo "################### ABORTING ######################"
       echo "Cannot use Docker!"
       echo " - check that Docker server is running"
       echo " - check that you have permissions to use it"
       echo "   (usually user must belong to the 'docker' group)"
       echo "###################################################"
    
       exit 1
    fi
    
    USER=$(id -un)
    USER_ID=$(id -u)
    USER_GID=$(id -g)
    DOCKER_HOSTNAME="$(hostname)-docker"
    
    DOCKERFILE_DIR=/tmp/${USER}/pugs.docker
    mkdir -p ${DOCKERFILE_DIR}
    
    DOCKERFILE="${DOCKERFILE_DIR}/Dockerfile"
    
    cat > ${DOCKERFILE} <<EOF
    FROM ubuntu:focal
    
    ARG DEBIAN_FRONTEND=noninteractive
    ENV USER="${USER}" USER_ID="${USER_ID}" USER_GID="${USER_GID}" HOSTNAME="${DOCKER_HOSTNAME}"
    ENV TZ=Europe/Paris
    RUN echo "${DOCKER_HOSTNAME}" > /etc/hostname
    RUN groupadd --gid "${USER_GID}" "${USER}"
    RUN useradd --uid "${USER_ID}" --gid "${USER_GID}" --create-home --shell /bin/bash "${USER}"
    
    RUN apt-get update && apt-get -y upgrade && apt-get -y remove g++ gcc && apt-get -y install apt-utils gnupg gnupg2 gnupg1 wget cmake git make lcov bc pkg-config sudo doxygen
    
    RUN apt-get -y install clang-10 clang-format-10
    
    RUN apt-get -y install libparmetis-dev petsc-dev slepc-dev
    RUN apt-get clean
    
    RUN rm /usr/bin/cc
    RUN echo "${USER} ALL=(ALL:ALL) NOPASSWD:ALL" > "/etc/sudoers.d/${USER}"
    
    RUN ln -s /usr/bin/clang-format-10 /usr/bin/clang-format
    
    ENV CC="clang-10" CXX="clang++-10"
    
    EOF
    
    if [ -e "${DOCKERFILE}" ]
    then
        echo "Successfully built: ${DOCKERFILE}"
    else
        echo "Aborting: unable to build ${DOCKERFILE}"
        exit 1
    fi
    
    IMAGE_NAME="pugs-docker-${USER}"
    ${DOCKER} build -t "${IMAGE_NAME}:latest" ${DOCKERFILE_DIR}
    
    ${DOCKER} run --volume=${HOME}:${HOME} -w $(pwd) --user ${USER_ID}:${USER_GID} -ti --entrypoint /bin/bash --hostname="${DOCKER_HOSTNAME}" "${IMAGE_NAME}"