2020-01-27 19:58:12 +01:00
|
|
|
FROM centos:centos7 AS base-dependencies
|
|
|
|
|
LABEL maintainer="Abdelrahman Hosny <abdelrahman_hosny@brown.edu>"
|
2019-01-17 00:38:22 +01:00
|
|
|
|
2020-01-27 19:58:12 +01:00
|
|
|
# Install dev and runtime dependencies
|
|
|
|
|
RUN yum group install -y "Development Tools" \
|
|
|
|
|
&& yum install -y https://centos7.iuscommunity.org/ius-release.rpm \
|
|
|
|
|
&& yum install -y wget git centos-release-scl devtoolset-8 \
|
|
|
|
|
devtoolset-8-libatomic-devel tcl-devel tcl tk libstdc++ tk-devel pcre-devel \
|
|
|
|
|
python36u python36u-libs python36u-devel python36u-pip && \
|
|
|
|
|
yum clean -y all && \
|
|
|
|
|
rm -rf /var/lib/apt/lists/*
|
|
|
|
|
|
|
|
|
|
# Install CMake
|
|
|
|
|
RUN wget https://cmake.org/files/v3.14/cmake-3.14.0-Linux-x86_64.sh && \
|
|
|
|
|
chmod +x cmake-3.14.0-Linux-x86_64.sh && \
|
|
|
|
|
./cmake-3.14.0-Linux-x86_64.sh --skip-license --prefix=/usr/local && rm -rf cmake-3.14.0-Linux-x86_64.sh \
|
|
|
|
|
&& yum clean -y all
|
|
|
|
|
|
|
|
|
|
# Install SWIG
|
|
|
|
|
RUN yum remove -y swig \
|
|
|
|
|
&& wget https://github.com/swig/swig/archive/rel-4.0.1.tar.gz \
|
|
|
|
|
&& tar xfz rel-4.0.1.tar.gz \
|
|
|
|
|
&& rm -rf rel-4.0.1.tar.gz \
|
|
|
|
|
&& cd swig-rel-4.0.1 \
|
|
|
|
|
&& ./autogen.sh && ./configure --prefix=/usr && make -j $(nproc) && make install \
|
|
|
|
|
&& cd .. \
|
|
|
|
|
&& rm -rf swig-rel-4.0.1
|
2019-01-17 00:38:22 +01:00
|
|
|
|
|
|
|
|
# download CUDD
|
2020-01-27 19:58:12 +01:00
|
|
|
# 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
|
2019-01-17 00:38:22 +01:00
|
|
|
|
|
|
|
|
# install CUDD
|
2020-01-27 19:58:12 +01:00
|
|
|
# RUN cd cudd-3.0.0 && \
|
|
|
|
|
# mkdir ../cudd && \
|
|
|
|
|
# ./configure --prefix=$HOME/cudd && \
|
|
|
|
|
# make && \
|
|
|
|
|
# make install
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FROM base-dependencies AS builder
|
|
|
|
|
|
|
|
|
|
COPY . /OpenSTA
|
|
|
|
|
WORKDIR /OpenSTA
|
|
|
|
|
|
|
|
|
|
# Build
|
|
|
|
|
RUN mkdir build
|
|
|
|
|
#RUN cd buld && cmake .. -DCUDD=$HOME/cudd
|
|
|
|
|
RUN cd build && cmake ..
|
|
|
|
|
RUN make -j 4
|
2019-01-17 00:38:22 +01:00
|
|
|
|
|
|
|
|
# Run sta on entry
|
2019-01-17 23:21:33 +01:00
|
|
|
ENTRYPOINT ["OpenSTA/app/sta"]
|