diff --git a/Dockerfile.ubuntu_18.04 b/Dockerfile.ubuntu_18.04 new file mode 100644 index 00000000..295a1e27 --- /dev/null +++ b/Dockerfile.ubuntu_18.04 @@ -0,0 +1,32 @@ +FROM ubuntu:18.04 +LABEL author="James Cherry" +LABEL maintainer="Abdelrahman Hosny " + +# install basics +ARG DEBIAN_FRONTEND=noninteractive +RUN apt-get update && \ + apt-get install -y wget apt-utils git cmake gcc tcl-dev swig bison flex + +# download CUDD +RUN wget https://www.davidkebo.com/source/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 --prefix=$HOME/cudd && \ + make && \ + make install + +# copy files and install OpenSTA +RUN mkdir OpenSTA +COPY . OpenSTA +RUN cd OpenSTA && \ + mkdir build && \ + cd build && \ + cmake .. -DCUDD=$HOME/cudd && \ + make + +# Run sta on entry +ENTRYPOINT ["OpenSTA/app/sta"]