summary refs log tree commit diff
path: root/Dockerfile
diff options
context:
space:
mode:
authorvan Hauser <vh@thc.org>2020-03-18 14:50:12 +0100
committerGitHub <noreply@github.com>2020-03-18 14:50:12 +0100
commita6c6145672b108e147b93d8ff8c591bb48ccc766 (patch)
tree288d8e6dfb852e12ba044b570c6e7ae9781c06bb /Dockerfile
parentbef8fe27ebd2a1735932b0400288c4cec7ecb879 (diff)
parentc6f08c9842095301b330168cb8824d1e1d00fda5 (diff)
downloadafl-dyninst-a6c6145672b108e147b93d8ff8c591bb48ccc766.tar.gz
Merge pull request #1 from murx-/master
Pull Request Dockerfile
Diffstat (limited to 'Dockerfile')
-rw-r--r--Dockerfile5
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 \