swipl:10.1.11

LABEL maintainer=Dave Curylo <[email protected]>, Michael Hendricks <[email protected]>

0 B

RUN /bin/sh -c apt-get update && apt-get install -y --no-install-recommends libtcmalloc-minimal4t64 libarchive13t64 libyaml-0-2 libgmp10 libutf8proc3 libossp-uuid16 libssl3t64 ca-certificates libdb5.3t64 libpcre2-8-0 libgeos-c1t64 libspatialindex8 libspatialindex-c8 libodbc2 libodbccr2 odbc-postgresql tdsodbc libmariadbclient-dev-compat libsqlite3-0 libserd-0-0 python3 libpython3.13 libraptor2-0 && dpkgArch="$(dpkg --print-architecture)" && rm -rf /var/lib/apt/lists/* # buildkit

46.98 MB

ENV LANG=C.UTF-8

0 B

RUN /bin/sh -c set -eux; SWIPL_VER=10.1.11; SWIPL_CHECKSUM=d2f19aedbc4580517bb79c49ecdccf9cefa9acebdb075a998b5e0c009cbf7ebb; BUILD_DEPS='make cmake ninja-build gcc g++ wget git pkg-config m4 libtool automake autoconf libutf8proc-dev libarchive-dev libgmp-dev libossp-uuid-dev libpcre2-dev libreadline-dev libedit-dev libssl-dev zlib1g-dev libdb-dev unixodbc-dev libsqlite3-dev libserd-dev libraptor2-dev libyaml-dev libgoogle-perftools-dev libpython3-dev'; dpkgArch="$(dpkg --print-architecture)"; apt-get update; apt-get install -y --no-install-recommends $BUILD_DEPS; rm -rf /var/lib/apt/lists/*; mkdir /tmp/src; cd /tmp/src; wget -q https://www.swi-prolog.org/download/devel/src/swipl-$SWIPL_VER.tar.gz; echo "$SWIPL_CHECKSUM swipl-$SWIPL_VER.tar.gz" >> swipl-$SWIPL_VER.tar.gz-CHECKSUM; sha256sum -c swipl-$SWIPL_VER.tar.gz-CHECKSUM; tar -xzf swipl-$SWIPL_VER.tar.gz; mkdir swipl-$SWIPL_VER/build; cd swipl-$SWIPL_VER/build; cmake -DCMAKE_BUILD_TYPE=PGO -DSWIPL_PACKAGES_GUI=OFF -DSWIPL_PACKAGES_JAVA=OFF -DCMAKE_INSTALL_PREFIX=/usr -G Ninja ..; ninja; ninja install; rm -rf /tmp/src; mkdir -p /usr/share/swi-prolog/pack; cd /usr/share/swi-prolog/pack; echo ":- multifile prolog:build_environment/2." > env.pl; echo "prolog:build_environment('PORTABLE', '1')." >> env.pl; install_addin () { git clone "$2" "$1"; git -C "$1" checkout -q "$3"; if [ "$1" = 'prosqlite' ]; then rm -rf "$1/lib"; fi; swipl -g "pack_rebuild($1)" -t halt env.pl; find "$1" -mindepth 1 -maxdepth 1 ! -name lib ! -name prolog ! -name pack.pl -exec rm -rf {} +; find "$1" -name .git -exec rm -rf {} +; find "$1" -name '*.so' -exec strip {} +; }; dpkgArch="$(dpkg --print-architecture)"; install_addin prosqlite https://github.com/nicos-angelopoulos/prosqlite.git 831482c8f267e002147dc482c4e6509f9e27d97e; [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin rocksdb https://github.com/JanWielemaker/rocksdb.git d1463581484ec794d92700f88cee431b257f33dc; [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin hdt https://github.com/JanWielemaker/hdt.git ba23ea9aa4e22fcd1fc1ea3431950ef3e9375551; [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin rserve_client https://github.com/JanWielemaker/rserve_client.git c6ef865f1cd9fe393213dd273fce13e96e4cb249; apt-get purge -y --auto-remove $BUILD_DEPS # buildkit

17.7 MB

CMD ["swipl"]

0 B