dockerfile.run – gprinstall

gprinstall

multi-language extensible build tool

Debian

RUN apt-get update && \
    apt-get install -y gprbuild

Ubuntu

RUN apt-get update && \
    apt-get install -y gprbuild

Fedora

RUN dnf install -y gprbuild

Raspbian

RUN apt-get update && \
    apt-get install -y gprbuild

click the source code to copy install gprinstall on any operating system with command-not-found.com