From 9c76de81b566867430bca94041507cefe61c9349 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Mon, 5 May 2025 19:10:10 -0700 Subject: [PATCH] readme Signed-off-by: James Cherry --- Dockerfile.ubuntu22.04 | 3 +-- README.md | 4 ++-- 2 files changed, 3 insertions(+), 4 deletions(-) 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