diff --git a/Dockerfile.ubuntu22.04 b/Dockerfile.ubuntu22.04 index 4bc5ea9d..bee8b31e 100644 --- a/Dockerfile.ubuntu22.04 +++ b/Dockerfile.ubuntu22.04 @@ -16,8 +16,7 @@ RUN apt-get update && \ bison \ flex \ automake \ - autotools-dev \ - valgrind + autotools-dev # Download CUDD RUN wget https://raw.githubusercontent.com/davidkebo/cudd/main/cudd_versions/cudd-3.0.0.tar.gz && \ diff --git a/README.md b/README.md index 328559e5..32082042 100644 --- a/README.md +++ b/README.md @@ -190,7 +190,7 @@ following command builds a Docker image. ``` cd OpenSTA -docker build --file Dockerfile.ubuntu22.04 --tag OpenSTA . +docker build --file Dockerfile.ubuntu22.04 --tag opensta . ``` To run a docker container using the OpenSTA image, use the -v option @@ -198,7 +198,7 @@ to docker to mount direcories with data to use and -i to run interactively. ``` -docker run -i -v $HOME:/data OpenSTA +docker run -i -v $HOME:/data opensta ``` ## Build on Macos/Darwin