FROM registry.access.redhat.com/ubi9/ubi:9.4
RUN \
  if [ -x /usr/bin/dnf ]; then dnf install -y gcc make; \
  elif [ -x /usr/bin/apt-get ]; then apt-get update && apt-get install -y gcc make; \
  elif [ -x /usr/bin/zypper ]; then zypper install -y gcc make; \
  elif command -v apk >/dev/null 2>/dev/null; then apk add gcc make libc-dev; \
  else echo "Unknown distro package manager"; exit 1; fi
COPY a.c b.c ab.c main.c Makefile /reproducer/
RUN cd /reproducer/ && make