angr / angr-dev

Some helper scripts to set up an environment for angr development.
BSD 2-Clause "Simplified" License
114 stars 95 forks source link

Update documentation for docker installation #179

Closed qwestduck closed 1 year ago

qwestduck commented 1 year ago

The current instruction for building the docker image, docker build -t angr - < angr-dev/Dockerfile, provides no build context. However, since 0e11fd09f3df3ce8605421df5b12457c9b426f38, the build context is required to include setup.sh.

This patch specifies an appropriate build context.