diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-09-09 17:37:01 +0200 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-09-09 17:37:01 +0200 |
| commit | 58d79c972198938c6f3655a40540903e08242b36 (patch) | |
| tree | a386998867179699c21a77479b456303a438cd36 | |
| parent | c09f54487cc88eeb3afe1629ff8a3edc223df1eb (diff) | |
Use cgal 5.1 as only boost header only
| -rw-r--r-- | Dockerfile_for_pip | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/Dockerfile_for_pip b/Dockerfile_for_pip index 8f60e37c..98668a04 100644 --- a/Dockerfile_for_pip +++ b/Dockerfile_for_pip @@ -14,23 +14,24 @@ RUN mkdir -p /opt/cmake \ && sh cmake-3.16.2-Linux-x86_64.sh --skip-license --prefix=/opt/cmake \ && rm -f cmake-3.16.2-Linux-x86_64.sh -RUN git clone -b boost-1.73.0 --depth 1 https://github.com/boostorg/boost.git \ - && cd boost \ - && git submodule update --init \ - && ./bootstrap.sh --with-libraries=filesystem,program_options,system,thread,test \ - && ./b2 headers \ - && ./b2 install \ +# yum install boost-devel installs boost 1.53 and copy is the only way to install headers only boost +RUN wget https://dl.bintray.com/boostorg/release/1.73.0/source/boost_1_73_0.tar.gz \ + && tar xf boost_1_73_0.tar.gz \ + && cd boost_1_73_0 \ + && ./bootstrap.sh \ + && ls \ + && cp -r boost /usr/local/include/ \ && cd .. \ && rm -rf boost -RUN wget https://github.com/CGAL/cgal/releases/download/releases%2FCGAL-5.0.2/CGAL-5.0.2.tar.xz \ - && tar xf CGAL-5.0.2.tar.xz \ +RUN wget https://github.com/CGAL/cgal/releases/download/v5.1/CGAL-5.1.tar.xz \ + && tar xf CGAL-5.1.tar.xz \ && mkdir build \ && cd build \ - && /opt/cmake/bin/cmake -DCMAKE_BUILD_TYPE=Release ../CGAL-5.0.2/ \ + && /opt/cmake/bin/cmake -DCMAKE_BUILD_TYPE=Release ../CGAL-5.1/ \ && make install \ && cd .. \ - && rm -rf build CGAL-5.0.2 + && rm -rf build CGAL-5.1 ADD .github/build-requirements.txt / |