From ee8950effd0d0492db49129a2b965b573224bb7c Mon Sep 17 00:00:00 2001 From: Jesse Wright <63333554+jeswr@users.noreply.github.com> Date: Sun, 6 Aug 2023 12:34:24 +1000 Subject: [PATCH] chore: remove repeat build step --- docker/Dockerfile | 7 ------- 1 file changed, 7 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index 0fcf46fc..291a817b 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -58,13 +58,6 @@ COPY --from=swipl-devel-build /swipl-devel /swipl-devel COPY --from=zlib /wasm /wasm COPY --from=pcre /wasm /wasm -# Build the pcre dependencies and install them in /wasm -WORKDIR /wasm/pcre2/build -RUN emcmake cmake -DCMAKE_INSTALL_PREFIX=/wasm \ - -DPCRE2GREP_SUPPORT_JIT=OFF \ - -G Ninja .. $@ -RUN ninja && ninja install - # Build SWIPL WORKDIR /swipl-devel/build.wasm RUN mkdir -p /swipl-devel/build.wasm