Hi Lassi. You wrote, 2019-08-17 23:43: > Thank you for helping out :) I managed to switch from dash to bash but get > the same error.
OK, I am sorry it was not that easy. > I'm trying to build a Debian-based Docker container out of Bigloo; I have no Docker experiences for bigloo; anyone else? > here's the Dockerfile I have so far: > > ---------------------------------------------------------------------- > > # -*- mode: dockerfile; coding: utf-8 -*- > FROM debian:buster-slim > RUN apt-get update && apt-get -y --no-install-recommends install \ > bash build-essential autoconf automake libtool m4 wget \ > libgmp-dev libpcre3-dev libssl-dev libunistring-dev libuv1-dev \ > && rm -rf /var/lib/apt/lists/* > > # Change /bin/sh from dash to bash. > RUN mkdir -p /usr/share/man/man1 > RUN echo no | dpkg-reconfigure dash > > WORKDIR / > RUN wget --no-verbose > ftp://ftp-sop.inria.fr/indes/fp/Bigloo/bigloo4.3f.tar.gz > RUN set -uxe; \ > > expectedSha256="09facb8440ff06edae30b2184a589836f5c598585ef096ca8471e1903e929027"; > \ > echo "${expectedSha256} *bigloo4.3f.tar.gz" | sha256sum -c - > RUN tar -xf bigloo4.3f.tar.gz && mv bigloo4.3f bigloo Why do you need the renaming? This is not a normal build step (without Docker). > WORKDIR /bigloo Is the / ok? > RUN ./configure > RUN make Please pipe the output of these commands into files and post them. Ciao Sven
