swipl:10.0.0

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-minimal4 libarchive13 libyaml-0-2 libgmp10 libossp-uuid16 libssl3 ca-certificates libdb5.3 libpcre2-8-0 libedit2 libgeos3.11.1 libspatialindex6 unixodbc odbc-postgresql tdsodbc libmariadbclient-dev-compat libsqlite3-0 libserd-0-0 python3 libpython3.11 libraptor2-0 && dpkgArch="$(dpkg --print-architecture)" && rm -rf /var/lib/apt/lists/* # buildkit

43.78 MB

ENV LANG=C.UTF-8

0 B

RUN /bin/sh -c set -eux; SWIPL_VER=10.0.0; SWIPL_CHECKSUM=98c552c48fc8b44dcd4440abbfed632cceb75055fde267be12f340bea8106590; BUILD_DEPS='make cmake ninja-build gcc g++ wget git pkg-config m4 libtool automake autoconf libarchive-dev libgmp-dev libossp-uuid-dev libpcre2-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/stable/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_X=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 95aba2a5c156b831cf2bcfd387f65a9b470280e4; [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin rocksdb https://github.com/JanWielemaker/rocksdb.git 2b232e7fd445a380e1731b5a5a38c6e6dfe5ad7d; [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin hdt https://github.com/JanWielemaker/hdt.git 7f2221747ea751a20ad0d7b95aebfd2c99649c1f; [ "$dpkgArch" = 'armhf' ] || [ "$dpkgArch" = 'armel' ] || install_addin rserve_client https://github.com/JanWielemaker/rserve_client.git bdf8962264d65dd8ef6eedf5f00ff0c0f6c52c2f; apt-get purge -y --auto-remove $BUILD_DEPS # buildkit

17.08 MB

CMD ["swipl"]

0 B