34 lines
809 B
Docker
34 lines
809 B
Docker
FROM ubuntu:18.04
|
|
LABEL author="James Cherry"
|
|
LABEL maintainer="James Cherry <cherry@parallaxsw.com>"
|
|
|
|
# Install basics
|
|
ARG DEBIAN_FRONTEND=noninteractive
|
|
RUN apt-get update && \
|
|
apt-get install -y wget cmake gcc tcl-dev tcl-tclreadline libeigen3-dev swig bison flex
|
|
|
|
# Download CUDD
|
|
RUN wget https://raw.githubusercontent.com/davidkebo/cudd/main/cudd_versions/cudd-3.0.0.tar.gz && \
|
|
tar -xvf cudd-3.0.0.tar.gz && \
|
|
rm cudd-3.0.0.tar.gz
|
|
|
|
# Install CUDD
|
|
RUN cd cudd-3.0.0 && \
|
|
mkdir ../cudd && \
|
|
./configure && \
|
|
make -j`nproc` && \
|
|
make install
|
|
|
|
# Copy files and install OpenSTA
|
|
RUN mkdir OpenSTA
|
|
COPY . OpenSTA
|
|
RUN cd OpenSTA && \
|
|
rm -rf build && \
|
|
mkdir build && \
|
|
cd build && \
|
|
cmake .. && \
|
|
make -j`nproc`
|
|
|
|
# Run sta on entry
|
|
ENTRYPOINT ["OpenSTA/app/sta"]
|