dockerfile.run – ppl-config

ppl-config

A modern library for convex polyhedra and other numerical abstractions

Debian

RUN apt-get update && \
    apt-get install -y ppl-dev

Ubuntu

RUN apt-get update && \
    apt-get install -y ppl-dev

Arch Linux

RUN pacman -S --noconfirm ppl

Kali Linux

RUN apt-get update && \
    apt-get install -y ppl-dev

CentOS

RUN yum install -y ppl

Fedora

RUN dnf install -y ppl

Raspbian

RUN apt-get update && \
    apt-get install -y ppl-dev

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