Z-Checker Dockerfile

Dockerfile

FROM       ubuntu:16.04

# general environment for docker
ENV        HOME /home
ENV        DEBIAN_FRONTEND noninteractive

# spack environment
ENV        PATH "$HOME/src/spack/bin:$PATH"
ENV        LD_LIBRARY_PATH "/home/src/z-checker-install/Z-checker/zc-install/lib:$LD_LIBRARY_PATH"

# install minimal spack dependencies
RUN        apt-get update \
           && apt-get install -y --no-install-recommends \
              autoconf \
              gawk \
              ca-certificates \
              cmake \
              curl \
              file \
              git \
              gnuplot \
              gzip \
              build-essential \
              pkg-config \
              python \
              tar \
              texlive-latex-base \
              texlive-latex-recommended \
              less \
              libc6-dev \
              nano \
              unzip \
              vim \
              wget \
              zip \
           && rm -rf /var/lib/apt/lists/*

RUN        mkdir $HOME/src

# install Z-checker
RUN        cd $HOME/src/ && wget -q http://www.mcs.anl.gov/~dtao001/download/exaalt-testdata.tar.gz && \
           tar -xf exaalt-testdata.tar.gz
RUN        git clone --depth 50 https://github.com/CODARcode/z-checker-installer.git \
           $HOME/src/z-checker-install
RUN        cd $HOME/src/z-checker-install && \
           ./z-checker-install.sh

#RUN        cd Z-checker
RUN        cd $HOME/src/z-checker-install && ./createNewZCCase.sh exaalt-testcase || echo "ok"
RUN        cd $HOME/src/z-checker-install && ./runZCCase.sh -f REL exaalt-testcase ../EXAALT 286944 || echo "ok"

# needs port 8087 forwarded
CMD        cd $HOME/src/z-checker-install && \
           sed -i 's/("", 0),/("", 8080),/g' generateWebReport.py && \
           python generateWebReport.py exaalt-testcase

How to use this with docker:

docker build -t z-checker-install .
docker run -p 8080:8080 -it z-checker-install

and then open your browser to http://localhost:8080/