diff options
Diffstat (limited to 'formal/promela/src/src/modules/comment_filter/Dockerfile')
| -rw-r--r-- | formal/promela/src/src/modules/comment_filter/Dockerfile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/formal/promela/src/src/modules/comment_filter/Dockerfile b/formal/promela/src/src/modules/comment_filter/Dockerfile new file mode 100644 index 00000000..2fdb19e9 --- /dev/null +++ b/formal/promela/src/src/modules/comment_filter/Dockerfile @@ -0,0 +1,9 @@ +FROM ubuntu:14.04 + +MAINTAINER Craig Northway + +RUN apt-get update && apt-get install -y python python3 python-pip git && pip install -U setuptools==25.2.0 tox + +COPY . /src + +RUN tox -c /src/tox.ini |