Update `Dockerfile.ubuntu_18.04` and remove `filesystem` dependence completely in `Main.cc`
This commit is contained in:
parent
81c68379a3
commit
bca45cf487
|
|
@ -2,31 +2,32 @@ FROM ubuntu:18.04
|
||||||
LABEL author="James Cherry"
|
LABEL author="James Cherry"
|
||||||
LABEL maintainer="James Cherry <cherry@parallaxsw.com>"
|
LABEL maintainer="James Cherry <cherry@parallaxsw.com>"
|
||||||
|
|
||||||
# install basics
|
# Install basics
|
||||||
ARG DEBIAN_FRONTEND=noninteractive
|
ARG DEBIAN_FRONTEND=noninteractive
|
||||||
RUN apt-get update && \
|
RUN apt-get update && \
|
||||||
apt-get install -y wget apt-utils git cmake gcc tcl-dev swig bison flex
|
apt-get install -y wget cmake gcc tcl-dev tcl-tclreadline libeigen3-dev swig bison flex
|
||||||
|
|
||||||
# download CUDD
|
# Download CUDD
|
||||||
RUN wget https://www.davidkebo.com/source/cudd_versions/cudd-3.0.0.tar.gz && \
|
RUN wget https://raw.githubusercontent.com/davidkebo/cudd/main/cudd_versions/cudd-3.0.0.tar.gz && \
|
||||||
tar -xvf cudd-3.0.0.tar.gz && \
|
tar -xvf cudd-3.0.0.tar.gz && \
|
||||||
rm cudd-3.0.0.tar.gz
|
rm cudd-3.0.0.tar.gz
|
||||||
|
|
||||||
# install CUDD
|
# Install CUDD
|
||||||
RUN cd cudd-3.0.0 && \
|
RUN cd cudd-3.0.0 && \
|
||||||
mkdir ../cudd && \
|
mkdir ../cudd && \
|
||||||
./configure --prefix=$HOME/cudd && \
|
./configure && \
|
||||||
make && \
|
make -j`nproc` && \
|
||||||
make install
|
make install
|
||||||
|
|
||||||
# copy files and install OpenSTA
|
# Copy files and install OpenSTA
|
||||||
RUN mkdir OpenSTA
|
RUN mkdir OpenSTA
|
||||||
COPY . OpenSTA
|
COPY . OpenSTA
|
||||||
RUN cd OpenSTA && \
|
RUN cd OpenSTA && \
|
||||||
|
rm -rf build && \
|
||||||
mkdir build && \
|
mkdir build && \
|
||||||
cd build && \
|
cd build && \
|
||||||
cmake .. -DCUDD=$HOME/cudd && \
|
cmake .. && \
|
||||||
make
|
make -j`nproc`
|
||||||
|
|
||||||
# Run sta on entry
|
# Run sta on entry
|
||||||
ENTRYPOINT ["OpenSTA/app/sta"]
|
ENTRYPOINT ["OpenSTA/app/sta"]
|
||||||
|
|
|
||||||
|
|
@ -19,7 +19,6 @@
|
||||||
|
|
||||||
#include <stdio.h>
|
#include <stdio.h>
|
||||||
#include <cstdlib> // exit
|
#include <cstdlib> // exit
|
||||||
#include <filesystem>
|
|
||||||
#include <tcl.h>
|
#include <tcl.h>
|
||||||
#if TCL_READLINE
|
#if TCL_READLINE
|
||||||
#include <tclreadline.h>
|
#include <tclreadline.h>
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue