Signed-off-by: James Cherry <cherry@parallaxsw.com>
This commit is contained in:
James Cherry 2025-05-05 19:10:10 -07:00
parent 7e5cf1326b
commit 9c76de81b5
2 changed files with 3 additions and 4 deletions

View File

@ -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 && \

View File

@ -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