diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/scripts/docker/Dockerfile')
| -rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/scripts/docker/Dockerfile | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/scripts/docker/Dockerfile b/cryptominisat5/cryptominisat-5.6.3/scripts/docker/Dockerfile deleted file mode 100644 index c76597c8b..000000000 --- a/cryptominisat5/cryptominisat-5.6.3/scripts/docker/Dockerfile +++ /dev/null @@ -1,9 +0,0 @@ -FROM ubuntu:14.04 -MAINTAINER Mate Soos -# RUN apt-get update && apt-get install -y libboost-program-options1.54.0 libstdc++6 && rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/* -RUN apt-get install libboost-program-options1.54.0 -ADD cryptominisat4 /home/cryptominisat4 -ADD libcryptominisat4* /home/ -ADD libm4ri-* /home/ -WORKDIR /home -CMD ["./cryptominisat4"] |