Dockerfile.minimal_dependencies

# Base Dockerfile for Storm dependencies
########################################
# The Docker image can be built by executing:
# docker build -f Dockerfile.minimal_dependencies -t yourusername/storm-basesystem:minimal_dependencies .
# A different Linux base system image can be set from the commandline with:
# --build-arg BASE_IMAGE=<new_base_image>

# Set Linux base image
ARG BASE_IMAGE=ubuntu:rolling
FROM $BASE_IMAGE
LABEL org.opencontainers.image.authors="dev@stormchecker.org"

ENV DEBIAN_FRONTEND=noninteractive

# Install dependencies
# - ca-certificates is needed for cloning from Github
# - all other dependencies are the required packages for Storm (see https://www.stormchecker.org/documentation/obtain-storm/dependencies.html#-debian-and--ubuntu)
RUN apt-get update -qq && apt-get install -y --no-install-recommends \
    ca-certificates \
    build-essential \
    automake \
    cmake \
    git \
    libboost-all-dev \
    libgmp-dev