# This file is part of fm-weck: executing fm-tools in containerized environments.
# https://gitlab.com/sosy-lab/software/fm-weck
#
# SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>
#
# SPDX-License-Identifier: Apache-2.0


ARG BASE_IMAGE
FROM ${BASE_IMAGE}
ARG REQUIRED_PACKAGES
RUN apt-get update && apt-get install -y ${REQUIRED_PACKAGES} && rm -rf /var/lib/apt/lists/*