Thank you for helping out :) I managed to switch from dash to bash but
get the same error.
I'm trying to build a Debian-based Docker container out of Bigloo;
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
WORKDIR /bigloo
RUN ./configure
RUN make
RUN make install
----------------------------------------------------------------------
I managed to go in and examine the Docker container's file system at the
point of failure. Bigloo's bin directory is missing the "bigloo" binary
as the error claims. The bin directory has the following files:
bglafile.sh bgldepend.sh bgljas.sh bgljfile.sh bglld.sh
bglmake.sh bglmco.sh bglpp.sh bglprof.sh bglrun.sh
bgltags.sh bigloo.sh
There is no bigloo binary anywhere inside the container at this point,
but bigloo.sh is run anyway.
