From 8f636a5976a1dda184064065b8bb140666df2b05 Mon Sep 17 00:00:00 2001
From: Abdelrahman <abdelrahman@brown.edu>
Date: Wed, 9 Jan 2019 15:39:20 -0800
Subject: [PATCH] dockerizing OpenSTA

---
 Dockerfile | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 Dockerfile

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 00000000..8a82fe1b
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,30 @@
+FROM ubuntu:18.04
+
+RUN apt-get update && \
+    apt-get install -y wget apt-utils git libtool autoconf
+
+# 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
+
+# install main dependencies
+ARG DEBIAN_FRONTEND=noninteractive
+RUN apt-get update && \
+    apt-get install -y clang gcc tcl tcl-dev swig bison flex
+
+# install CUDD
+RUN cd cudd-3.0.0 && \
+     ./configure --enable-dddmp --enable-obj --enable-shared --enable-static && \
+    make && \
+    make check
+
+# clone and install OpenSTA
+RUN git clone https://github.com/abdelrahmanhosny/OpenSTA.git && \
+    cd OpenSTA && \
+    libtoolize && \
+    ./bootstrap && \
+    ./configure && \
+    make
+
+# Run sta on entry
+CMD OpenSTA/app/sta