The README below is preserved for historical purposes.
This is a Docker Image intended to build sbt-based projects. It can be found on DockerHub as the automated build kwarc/sbt-builder.
It is intended to be as follows:
# Start from the sbt builder image
FROM kwarc/sbt-builder
# Add all code into /opt/src
ADD src/ /opt/src/
WORKDIR /opt/src
# Run some sbt commands
RUN sbt build
This Image has two tags:
latest which contains a cache for the newest SBT jar pre-downloadedmmt-cache which contains a cache for all dependencies used on the MMT master branchThese can be found on the master and mmt-cache branch respectively.
The Unlicense, see LICENSE.
Content type
Image
Digest
Size
330.2 MB
Last updated
about 7 years ago
docker pull kwarc/sbt-builder