diff --git a/7.7.7/amd64/stretch/Dockerfile b/7.7.7/amd64/stretch/Dockerfile new file mode 100644 index 0000000..0a0fdce --- /dev/null +++ b/7.7.7/amd64/stretch/Dockerfile @@ -0,0 +1,62 @@ +FROM debian:stretch-slim +LABEL maintainer "Dave Curylo , Michael Hendricks " +RUN apt-get update && \ + apt-get install -y --no-install-recommends \ + libarchive13 \ + libgmp10 \ + libossp-uuid16 \ + libssl1.1 \ + ca-certificates \ + libdb5.3 \ + libpcre3 \ + libedit2 \ + libgeos-c1v5 \ + libspatialindex4v5 \ + unixodbc \ + odbc-postgresql \ + tdsodbc \ + libmariadbclient18 \ + libsqlite3-0 \ + librocksdb4.5 \ + libserd-0-0 \ + libraptor2-0 && \ + rm -rf /var/lib/apt/lists/* +RUN set -eux; \ + SWIPL_VER=7.7.7; \ + SWIPL_CHECKSUM=0b0ca7832fcfebbf8b9d707aeccb13c926dc18ca7dd68dec206fb9868a75a232; \ + BUILD_DEPS='make gcc g++ wget git autoconf libarchive-dev libgmp-dev libossp-uuid-dev libpcre3-dev libreadline-dev libedit-dev libssl-dev zlib1g-dev libdb-dev unixodbc-dev libsqlite3-dev librocksdb-dev libserd-dev libraptor2-dev libgeos++-dev libspatialindex-dev'; \ + 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 http://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; \ + cd swipl-$SWIPL_VER; \ + sed -e '/PREFIX=$HOME/c\PREFIX=/usr' \ + -e '/# export DISABLE_PKGS/c\export DISABLE_PKGS="jpl xpce"' \ + -e 's/# *\(EXTRA.*--disable-libdirversion\)/\1/' \ + build.templ > build; \ + chmod u+x build; ./build; \ + mkdir -p /usr/lib/swipl/pack; \ + cd /usr/lib/swipl/pack; \ + rm -rf /tmp/src; \ + # usage: install_addin addin-name git-url git-commit + install_addin () { \ + git clone "$2" "$1"; \ + git -C "$1" checkout -q "$3"; \ + if [ "$1" = 'space' ]; then (cd "$1"; ln -s configure.ac configure.in); fi; \ + # the prosqlite plugin lib directory must be removed? + if [ "$1" = 'prosqlite' ]; then rm -rf "$1/lib"; fi; \ + swipl -g "pack_rebuild($1)" -t halt; \ + find "$1" -mindepth 1 -maxdepth 1 ! -name lib ! -name prolog ! -name pack.pl -exec rm -rf {} +; \ + find "$1" -name .git -exec rm -rf {} +; \ + }; \ + install_addin space https://github.com/JanWielemaker/space.git cd6fefa63317a7a6effb61a1c5aee634ebe2ca05; \ + install_addin prosqlite https://github.com/nicos-angelopoulos/prosqlite.git a1d915d07933ece27ea5fd68f07c83d10583e7a0; \ + install_addin rocksdb https://github.com/JanWielemaker/rocksdb.git 29eaee6fcdb6dce690ed187ef68b80ee94739412; \ + install_addin hdt https://github.com/JanWielemaker/hdt.git e0a0eff87fc3318434cb493690c570e1255ed30e; \ + install_addin rserve_client https://github.com/JanWielemaker/rserve_client.git 72838bbfa3976a83d19fb38bdae04378e30f4b0d; \ + apt-get purge -y --auto-remove $BUILD_DEPS +ENV LANG C.UTF-8 +CMD ["swipl"] diff --git a/7.7.7/arm32v7/stretch/Dockerfile b/7.7.7/arm32v7/stretch/Dockerfile new file mode 100644 index 0000000..2778826 --- /dev/null +++ b/7.7.7/arm32v7/stretch/Dockerfile @@ -0,0 +1,59 @@ +FROM debian:stretch-slim +LABEL maintainer "Dave Curylo , Michael Hendricks " +RUN apt-get update && \ + apt-get install -y --no-install-recommends \ + libarchive13 \ + libgmp10 \ + libossp-uuid16 \ + libssl1.1 \ + ca-certificates \ + libdb5.3 \ + libpcre3 \ + libedit2 \ + libgeos-c1v5 \ + libspatialindex4v5 \ + unixodbc \ + odbc-postgresql \ + tdsodbc \ + libmariadbclient18 \ + libsqlite3-0 \ + libserd-0-0 \ + libraptor2-0 && \ + rm -rf /var/lib/apt/lists/* +RUN set -eux; \ + SWIPL_VER=7.7.7; \ + SWIPL_CHECKSUM=0b0ca7832fcfebbf8b9d707aeccb13c926dc18ca7dd68dec206fb9868a75a232; \ + BUILD_DEPS='make gcc g++ wget git autoconf libarchive-dev libgmp-dev libossp-uuid-dev libpcre3-dev libreadline-dev libedit-dev libssl-dev zlib1g-dev libdb-dev unixodbc-dev libsqlite3-dev libserd-dev libraptor2-dev libgeos++-dev libspatialindex-dev'; \ + 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 http://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; \ + cd swipl-$SWIPL_VER; \ + sed -e '/PREFIX=$HOME/c\PREFIX=/usr' \ + -e '/# export DISABLE_PKGS/c\export DISABLE_PKGS="jpl xpce"' \ + -e 's/# *\(EXTRA.*--disable-libdirversion\)/\1/' \ + build.templ > build; \ + chmod u+x build; ./build; \ + mkdir -p /usr/lib/swipl/pack; \ + cd /usr/lib/swipl/pack; \ + rm -rf /tmp/src; \ + # usage: install_addin addin-name git-url git-commit + install_addin () { \ + git clone "$2" "$1"; \ + git -C "$1" checkout -q "$3"; \ + if [ "$1" = 'space' ]; then (cd "$1"; ln -s configure.ac configure.in); fi; \ + # the prosqlite plugin lib directory must be removed? + if [ "$1" = 'prosqlite' ]; then rm -rf "$1/lib"; fi; \ + swipl -g "pack_rebuild($1)" -t halt; \ + find "$1" -mindepth 1 -maxdepth 1 ! -name lib ! -name prolog ! -name pack.pl -exec rm -rf {} +; \ + find "$1" -name .git -exec rm -rf {} +; \ + }; \ + install_addin space https://github.com/JanWielemaker/space.git cd6fefa63317a7a6effb61a1c5aee634ebe2ca05; \ + install_addin prosqlite https://github.com/nicos-angelopoulos/prosqlite.git a1d915d07933ece27ea5fd68f07c83d10583e7a0; \ + install_addin rserve_client https://github.com/JanWielemaker/rserve_client.git 72838bbfa3976a83d19fb38bdae04378e30f4b0d; \ + apt-get purge -y --auto-remove $BUILD_DEPS +ENV LANG C.UTF-8 +CMD ["swipl"]