Bjoern Pedersen a85201ad7d Another Jenkisfile error
Change-Id: I313f1471aad166c794374c7d381c1b66a4395b4d
Reviewed-on: https://forge.frm2.tum.de/review/c/sine2020/secop/playground/+/25839
Tested-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
Reviewed-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
2021-04-30 07:59:02 +02:00
..
2019-09-26 08:40:47 +02:00
2021-04-30 07:59:02 +02:00

This directory contains the necessary files for running tests inside a docker container.

The Dockerfile defines two images:
- base
  -> this is the image used for testing
- docs
  -> Include a latex install for sphinx pdf builds

(The following assumes you have a docker daemon running on your working computer)

To create the images:

  docker build --target <base|docs> --tag secop_<base|docs>:latest .

To test images interactivly:
  docker run -u jenkins -i -t secop<base|docs> /bin/bash

The Jenkinsfile uses this Dockerfile (only approved checked-in versions from master)
to build the images (a rebuild will only happen if the Dockerfile is changed as docker
 caches the images and build information) and  run the test suite inside the container.