From 80d3ba306c4cc0ebdd710e895b1213b6a1fe726a Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Fri, 31 Jan 2025 09:04:06 -0800 Subject: [PATCH] Update CentOS 7 Bison version to 3.8.2 (#203) --- Dockerfile.centos7 | 25 +++++++++++++++++++------ 1 file changed, 19 insertions(+), 6 deletions(-) diff --git a/Dockerfile.centos7 b/Dockerfile.centos7 index d8d8deeb..7e3771c7 100644 --- a/Dockerfile.centos7 +++ b/Dockerfile.centos7 @@ -2,7 +2,7 @@ FROM centos:centos7 AS base-dependencies LABEL author="James Cherry" LABEL maintainer="James Cherry " -# Install dev and runtime dependencies +# Install dev and runtime dependencies (use vault repos since mirror repos are discontinued) RUN sed -i s/mirror.centos.org/vault.centos.org/g /etc/yum.repos.d/*.repo \ && sed -i s/^#.*baseurl=http/baseurl=http/g /etc/yum.repos.d/*.repo \ && sed -i s/^mirrorlist=http/#mirrorlist=http/g /etc/yum.repos.d/*.repo \ @@ -11,20 +11,33 @@ RUN sed -i s/mirror.centos.org/vault.centos.org/g /etc/yum.repos.d/*.repo \ RUN sed -i s/mirror.centos.org/vault.centos.org/g /etc/yum.repos.d/*.repo \ && sed -i s/^#.*baseurl=http/baseurl=http/g /etc/yum.repos.d/*.repo \ && sed -i s/^mirrorlist=http/#mirrorlist=http/g /etc/yum.repos.d/*.repo \ - && yum install -y devtoolset-8 wget cmake3 make eigen3-devel tcl-devel tcl-tclreadline-devel swig3 bison flex zlib-devel valgrind \ + && yum install -y devtoolset-11 wget cmake3 make eigen3-devel tcl-devel swig3 flex zlib-devel valgrind \ && yum clean -y all +# Download Bison +RUN wget https://ftp.gnu.org/gnu/bison/bison-3.8.2.tar.gz && \ + tar -xvf bison-3.8.2.tar.gz && \ + rm bison-3.8.2.tar.gz + +# Build Bison +RUN source /opt/rh/devtoolset-11/enable && \ + cd bison-3.8.2 && \ + ./configure && \ + make -j`nproc` && \ + make install + # Download CUDD 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 && \ rm cudd-3.0.0.tar.gz # Build CUDD -RUN source /opt/rh/devtoolset-8/enable && \ +RUN source /opt/rh/devtoolset-11/enable && \ cd cudd-3.0.0 && \ mkdir ../cudd && \ ./configure && \ - make -j`nproc` + make -j`nproc` && \ + make install FROM base-dependencies AS builder @@ -33,9 +46,9 @@ WORKDIR /OpenSTA # Build RUN rm -rf build && mkdir build -RUN source /opt/rh/devtoolset-8/enable && \ +RUN source /opt/rh/devtoolset-11/enable && \ cd build && \ - cmake3 -DCUDD_DIR=../cudd-3.0.0 .. && \ + cmake3 .. && \ make -j`nproc` # Run sta on entry