From b6aa71d6acc1160748bdc8472a7d70c296cbc177 Mon Sep 17 00:00:00 2001
From: Alexander Bantyev <balsoft@balsoft.ru>
Date: Wed, 20 May 2020 22:00:10 +0300
Subject: [PATCH] Remove /tmp from docker container

---
 nix/docker.nix | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/nix/docker.nix b/nix/docker.nix
index 99f262282..5820717b3 100644
--- a/nix/docker.nix
+++ b/nix/docker.nix
@@ -1,11 +1,7 @@
 { dockerTools, writeShellScriptBin, runCommand, mcpp, bash, coreutils, ligo, name ? "ligo" }:
-let
-  # LIGO requires /tmp for compilation, which is missing in the default image
-  tmp = runCommand "tmp" {} "mkdir -p $out/tmp";
-in
 dockerTools.buildLayeredImage {
   inherit name;
   tag = "latest";
-  contents = [ ligo tmp bash ];
+  contents = [ ligo bash ];
   config.Entrypoint = name;
 }