File tree Expand file tree Collapse file tree 2 files changed +11
-11
lines changed Expand file tree Collapse file tree 2 files changed +11
-11
lines changed Original file line number Diff line number Diff line change @@ -2,31 +2,32 @@ FROM ubuntu:18.04
22LABEL author="James Cherry"
33LABEL maintainer="James Cherry <
[email protected] >"
44
5- # install basics
5+ # Install basics
66ARG DEBIAN_FRONTEND=noninteractive
77RUN apt-get update && \
8- apt-get install -y wget apt-utils git cmake gcc tcl-dev swig bison flex
8+ apt-get install -y wget cmake gcc tcl-dev tcl-tclreadline libeigen3 -dev swig bison flex
99
10- # download CUDD
11- RUN wget https://www.davidkebo .com/source /cudd_versions/cudd-3.0.0.tar.gz && \
10+ # Download CUDD
11+ RUN wget https://raw.githubusercontent .com/davidkebo/cudd/main /cudd_versions/cudd-3.0.0.tar.gz && \
1212 tar -xvf cudd-3.0.0.tar.gz && \
1313 rm cudd-3.0.0.tar.gz
1414
15- # install CUDD
15+ # Install CUDD
1616RUN cd cudd-3.0.0 && \
1717 mkdir ../cudd && \
18- ./configure --prefix=$HOME/cudd && \
19- make && \
18+ ./configure && \
19+ make -j`nproc` && \
2020 make install
2121
22- # copy files and install OpenSTA
22+ # Copy files and install OpenSTA
2323RUN mkdir OpenSTA
2424COPY . OpenSTA
2525RUN cd OpenSTA && \
26+ rm -rf build && \
2627 mkdir build && \
2728 cd build && \
28- cmake .. -DCUDD=$HOME/cudd && \
29- make
29+ cmake .. && \
30+ make -j`nproc`
3031
3132# Run sta on entry
3233ENTRYPOINT ["OpenSTA/app/sta"]
Original file line number Diff line number Diff line change 1919
2020#include < stdio.h>
2121#include < cstdlib> // exit
22- #include < filesystem>
2322#include < tcl.h>
2423#if TCL_READLINE
2524 #include < tclreadline.h>
You can’t perform that action at this time.
0 commit comments