From 30b5ec857161f939bc0b5ddbe1a84ee59ca2075e Mon Sep 17 00:00:00 2001
From: Marcel van der Veldt <m.vanderveldt@outlook.com>
Date: Sun, 9 Jul 2023 15:32:28 +0200
Subject: [PATCH] fix jemalloc build in dockerfile

---
 Dockerfile | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index 651a8ba3..10fb3f13 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -20,6 +20,15 @@ RUN set -x \
         cargo \
         git
 
+# build jemalloc
+ARG JEMALLOC_VERSION=5.3.0
+RUN curl -L -s https://github.com/jemalloc/jemalloc/releases/download/${JEMALLOC_VERSION}/jemalloc-${JEMALLOC_VERSION}.tar.bz2 \
+        | tar -xjf - -C /tmp \
+    && cd /tmp/jemalloc-${JEMALLOC_VERSION} \
+    && ./configure \
+    && make \
+    && make install
+
 WORKDIR /wheels
 COPY requirements_all.txt .
 
@@ -43,6 +52,7 @@ RUN python3 -m build --wheel --outdir /wheels --skip-dependency-check
 #####################################################################
 FROM python:${PYTHON_VERSION}-slim AS final-build
 WORKDIR /app
+COPY --from=wheels-builder /usr/local/lib/libjemalloc.so /usr/local/lib/libjemalloc.so
 
 RUN set -x \
     && apt-get update \
-- 
2.34.1