Skip to content

Instantly share code, notes, and snippets.

@dhgrs
Created June 1, 2020 15:55
Show Gist options
  • Save dhgrs/52b4341ab02f696766441057ffe5d5a4 to your computer and use it in GitHub Desktop.
Save dhgrs/52b4341ab02f696766441057ffe5d5a4 to your computer and use it in GitHub Desktop.
FROM ubuntu:19.10
RUN apt-get update && \
apt-get --yes --no-install-recommends install build-essential wget && \
apt-get clean && \
rm -rf /var/lib/apt/lists/* /var/cache/apt/archives/*
RUN wget --no-check-certificate https://dl.bintray.com/boostorg/release/1.72.0/source/boost_1_72_0.tar.gz && \
tar xf boost_1_72_0.tar.gz && \
cd boost_1_72_0/ && \
./bootstrap.sh && \
./b2 -j 4 && \
mkdir -p /opt/boost/gcc/include && \
cp -r ./boost /opt/boost/gcc/include/boost && \
cp -r ./stage/lib/ /opt/boost/gcc/lib
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment