Skip to content

Commit

Permalink
fix: update to swipl v9.1.18 (#404)
Browse files Browse the repository at this point in the history
* fix: update to swipl v9.1.18

* fix: update commit number

* chore: build using commit rather than branch

* chore: fix build args
  • Loading branch information
jeswr authored Nov 3, 2023
1 parent a2618ec commit 99d95a1
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 7 deletions.
9 changes: 6 additions & 3 deletions docker/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -28,9 +28,12 @@ RUN ninja && ninja install
# Clone SWI-Prolog. Only make a shallow clone and only clone the
# submodules we need at depth 1.
WORKDIR /
ARG SWIPL_VERSION
RUN git clone --depth 1 https://github.com/SWI-Prolog/swipl-devel --branch V$SWIPL_VERSION
RUN cd swipl-devel && git submodule update --init --depth 1 -j 100 \
ARG SWIPL_COMMIT
RUN git clone https://github.com/SWI-Prolog/swipl-devel

WORKDIR /swipl-devel
RUN git checkout $SWIPL_COMMIT
RUN git submodule update --init --depth 1 -j 100 \
packages/chr packages/clib packages/clpqr packages/http packages/nlp \
packages/pcre packages/plunit packages/sgml packages/RDF \
packages/semweb packages/zlib
Expand Down
8 changes: 4 additions & 4 deletions package.json
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@
"dist/**/*.wasm"
],
"scripts": {
"build:wasm-docker:build": "docker build --build-arg SWIPL_VERSION=$npm_package_config_swipl_version --build-arg EMSDK_VERSION=$npm_package_config_emsdk_version --build-arg ZLIB_VERSION=$npm_package_config_zlib_version --build-arg PCRE2_NAME=$npm_package_config_pcre2_name -t swipl-wasm-image docker",
"build:wasm-docker:build": "docker build --build-arg SWIPL_VERSION=$npm_package_config_swipl_version --build-arg SWIPL_COMMIT=$npm_package_config_swipl_commit --build-arg EMSDK_VERSION=$npm_package_config_emsdk_version --build-arg ZLIB_VERSION=$npm_package_config_zlib_version --build-arg PCRE2_NAME=$npm_package_config_pcre2_name -t swipl-wasm-image docker",
"build:wasm-docker:create": "docker create --name swipl-wasm swipl-wasm-image",
"build:wasm-docker:remove": "docker rm swipl-wasm",
"build:wasm-docker:extract:data": "docker cp swipl-wasm:/swipl-devel/build.wasm/src/swipl-web.data dist/swipl/swipl-web.data",
Expand Down Expand Up @@ -75,9 +75,9 @@
},
"config": {
"swipl": {
"version": "9.1.16",
"commit": "c949a48bae9184e11c0b22f6d5f2f5ccbca774d0",
"name": "V9.1.16"
"version": "9.1.18",
"commit": "badb83cf560d4baa371be45acc0d1c4fd2160e98",
"name": "V9.1.18"
},
"emsdk": {
"version": "3.1.47",
Expand Down

0 comments on commit 99d95a1

Please sign in to comment.