2024-10-09 00:31:43 +02:00
|
|
|
FROM ubuntu:22.04
|
2020-01-28 17:56:38 +01:00
|
|
|
LABEL author="James Cherry"
|
2020-01-28 19:56:09 +01:00
|
|
|
LABEL maintainer="James Cherry <cherry@parallaxsw.com>"
|
2020-01-28 17:56:38 +01:00
|
|
|
|
2024-08-12 14:21:53 +02:00
|
|
|
# Install basics
|
2020-01-28 17:56:38 +01:00
|
|
|
ARG DEBIAN_FRONTEND=noninteractive
|
|
|
|
|
RUN apt-get update && \
|
2024-10-09 00:31:43 +02:00
|
|
|
apt-get install -y \
|
|
|
|
|
wget \
|
|
|
|
|
cmake \
|
|
|
|
|
gcc \
|
|
|
|
|
tcl-dev \
|
|
|
|
|
tcl-tclreadline \
|
|
|
|
|
libeigen3-dev \
|
|
|
|
|
swig \
|
|
|
|
|
bison \
|
|
|
|
|
flex \
|
|
|
|
|
automake \
|
2025-01-10 19:14:52 +01:00
|
|
|
autotools-dev \
|
|
|
|
|
valgrind
|
2020-01-28 17:56:38 +01:00
|
|
|
|
2024-08-12 14:21:53 +02:00
|
|
|
# Download CUDD
|
|
|
|
|
RUN wget https://raw.githubusercontent.com/davidkebo/cudd/main/cudd_versions/cudd-3.0.0.tar.gz && \
|
2020-01-28 17:56:38 +01:00
|
|
|
tar -xvf cudd-3.0.0.tar.gz && \
|
|
|
|
|
rm cudd-3.0.0.tar.gz
|
|
|
|
|
|
2024-10-09 00:31:43 +02:00
|
|
|
# Build CUDD
|
2020-01-28 17:56:38 +01:00
|
|
|
RUN cd cudd-3.0.0 && \
|
|
|
|
|
mkdir ../cudd && \
|
2024-08-12 14:21:53 +02:00
|
|
|
./configure && \
|
2024-10-09 00:31:43 +02:00
|
|
|
make -j`nproc`
|
2020-01-28 17:56:38 +01:00
|
|
|
|
2024-08-12 14:21:53 +02:00
|
|
|
# Copy files and install OpenSTA
|
2020-01-28 17:56:38 +01:00
|
|
|
RUN mkdir OpenSTA
|
|
|
|
|
COPY . OpenSTA
|
|
|
|
|
RUN cd OpenSTA && \
|
2024-08-12 14:21:53 +02:00
|
|
|
rm -rf build && \
|
2020-01-28 17:56:38 +01:00
|
|
|
mkdir build && \
|
|
|
|
|
cd build && \
|
2024-10-09 00:31:43 +02:00
|
|
|
cmake -DCUDD_DIR=../cudd-3.0.0 .. && \
|
2024-08-12 14:21:53 +02:00
|
|
|
make -j`nproc`
|
2020-01-28 17:56:38 +01:00
|
|
|
|
|
|
|
|
# Run sta on entry
|
|
|
|
|
ENTRYPOINT ["OpenSTA/app/sta"]
|