[push-ci-image]

huggingface · May 2, 2024 · b4e21e6 · b4e21e6
1 parent a83168d
commit b4e21e6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docker/custom-tokenizers.dockerfile b/docker/custom-tokenizers.dockerfile
@@ -11,8 +11,8 @@ RUN mkdir jumanpp-2.0.0-rc3/bld
 WORKDIR ./jumanpp-2.0.0-rc3/bld
 RUN wget -LO catch.hpp https://github.com/catchorg/Catch2/releases/download/v2.13.8/catch.hpp
 RUN mv catch.hpp ../libs/
-RUN cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr/local
-RUN make install
+RUN cmake .. -DCMAKE_INSTALL_PREFIX=/usr/local
+RUN make install -j 10
 
 
 RUN uv pip install --no-cache --upgrade 'torch' --index-url https://download.pytorch.org/whl/cpu