2020-03-25 22:14:18 +04:00
|
|
|
{ dockerTools, writeShellScriptBin, runCommand, mcpp, bash, coreutils, ligo, name ? "ligo" }:
|
|
|
|
let
|
2020-05-20 18:07:39 +04:00
|
|
|
# LIGO requires /tmp for compilation, which is missing in the default image
|
2020-03-25 22:14:18 +04:00
|
|
|
tmp = runCommand "tmp" {} "mkdir -p $out/tmp";
|
|
|
|
in
|
|
|
|
dockerTools.buildLayeredImage {
|
|
|
|
inherit name;
|
|
|
|
tag = "latest";
|
|
|
|
contents = [ ligo tmp bash ];
|
|
|
|
config.Entrypoint = name;
|
|
|
|
}
|