diff options
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Dockerfile b/Dockerfile index 76634d2..b9b89d8 100644 --- a/Dockerfile +++ b/Dockerfile @@ -27,8 +27,7 @@ RUN git clone https://github.com/dyninst/dyninst \ && cd dyninst && mkdir build && cd build \ && cmake .. \ && make \ - && make install \ - && cd .. ; rm -rf build ; cd .. + && make install RUN git clone https://github.com/vanhauser-thc/AFLplusplus \ && cd AFLplusplus \ @@ -37,6 +36,8 @@ RUN git clone https://github.com/vanhauser-thc/AFLplusplus \ && make clean \ && cd .. +RUN mkdir -p /path/to/dyninst/ && ln -s /dyninst/build /path/to/dyninst/build-directory + RUN git clone https://github.com/vanhauser-thc/afl-dyninst \ && cd afl-dyninst \ && ln -s ../AFLplusplus afl \ |