From 7c3f3ddc2b8c5a31fe4d3e4f8254a6b398660955 Mon Sep 17 00:00:00 2001 From: DavidKorczynski Date: Mon, 26 Jul 2021 19:15:12 +0100 Subject: [PATCH] rdkit: fix build (#6114) --- projects/rdkit/Dockerfile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/projects/rdkit/Dockerfile b/projects/rdkit/Dockerfile index 1dad793c5..e072c2d23 100644 --- a/projects/rdkit/Dockerfile +++ b/projects/rdkit/Dockerfile @@ -15,7 +15,13 @@ ################################################################################ FROM gcr.io/oss-fuzz-base/base-builder -RUN apt-get update && apt-get install -y wget libeigen3-dev +RUN apt-get update && apt-get install -y wget + +RUN git clone https://gitlab.com/libeigen/eigen && \ + mkdir eigen_build && \ + cd eigen_build && \ + cmake ../eigen && \ + make install RUN git clone --depth 1 https://github.com/rdkit/rdkit.git $SRC/rdkit WORKDIR $SRC/rdkit