From ad8d2fe079feb2acadda9a418f6e432375416892 Mon Sep 17 00:00:00 2001
From: James Cherry <cherry@parallaxsw.com>
Date: Tue, 28 Jan 2020 09:56:38 -0700
Subject: [PATCH] ubuntu dockerfile

---
 Dockerfile.ubuntu_18.04 | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 Dockerfile.ubuntu_18.04

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 <abdelrahman@brown.edu>"
+
+# 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"]