From bca45cf4872cff8e015bf7f545b6b3bbe68e6549 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Mon, 12 Aug 2024 05:21:53 -0700 Subject: [PATCH] Update `Dockerfile.ubuntu_18.04` and remove `filesystem` dependence completely in `Main.cc` --- Dockerfile.ubuntu_18.04 | 21 +++++++++++---------- app/Main.cc | 1 - 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/Dockerfile.ubuntu_18.04 b/Dockerfile.ubuntu_18.04 index 82ee3ef0..7d0c5647 100644 --- a/Dockerfile.ubuntu_18.04 +++ b/Dockerfile.ubuntu_18.04 @@ -2,31 +2,32 @@ FROM ubuntu:18.04 LABEL author="James Cherry" LABEL maintainer="James Cherry " -# install basics +# 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 + apt-get install -y wget cmake gcc tcl-dev tcl-tclreadline libeigen3-dev swig bison flex -# download CUDD -RUN wget https://www.davidkebo.com/source/cudd_versions/cudd-3.0.0.tar.gz && \ +# 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 +# Install CUDD RUN cd cudd-3.0.0 && \ mkdir ../cudd && \ - ./configure --prefix=$HOME/cudd && \ - make && \ + ./configure && \ + make -j`nproc` && \ make install -# copy files and install OpenSTA +# Copy files and install OpenSTA RUN mkdir OpenSTA COPY . OpenSTA RUN cd OpenSTA && \ + rm -rf build && \ mkdir build && \ cd build && \ - cmake .. -DCUDD=$HOME/cudd && \ - make + cmake .. && \ + make -j`nproc` # Run sta on entry ENTRYPOINT ["OpenSTA/app/sta"] diff --git a/app/Main.cc b/app/Main.cc index 596eb222..1f417333 100644 --- a/app/Main.cc +++ b/app/Main.cc @@ -19,7 +19,6 @@ #include #include // exit -#include #include #if TCL_READLINE #include