File: Dockerfile

package info (click to toggle)
opensta 0~20191111gitc018cb2+dfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 5,116 kB
  • sloc: cpp: 99,117; tcl: 8,530; yacc: 1,435; lex: 894; makefile: 541; sh: 107
file content (32 lines) | stat: -rw-r--r-- 773 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
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"]