From 45c90b30b307f9b788608036c9e41115f716097a Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Thu, 2 Apr 2020 15:54:40 +0530
Subject: [PATCH] add solo5-tools to overlay

Add a package that only contains the solo5-elftool utility.
---
 overlay/default.nix             |  2 ++
 overlay/solo5-tools/default.nix | 28 ++++++++++++++++++++++++++++
 2 files changed, 30 insertions(+)
 create mode 100644 overlay/solo5-tools/default.nix

diff --git a/overlay/default.nix b/overlay/default.nix
index 465b648..c84b6f5 100644
--- a/overlay/default.nix
+++ b/overlay/default.nix
@@ -43,4 +43,6 @@ with prev; {
     targetLlvmLibraries = targetPackages.llvmPackages_8.libraries;
   });
 
+  solo5-tools = callPackage ./solo5-tools { };
+
 }
diff --git a/overlay/solo5-tools/default.nix b/overlay/solo5-tools/default.nix
new file mode 100644
index 0000000..e24af3e
--- /dev/null
+++ b/overlay/solo5-tools/default.nix
@@ -0,0 +1,28 @@
+# SPDX-License-Identifier: CC0-1.0
+
+{ stdenv, buildPackages, fetchurl }:
+
+# WARNING: recursive make ahead
+
+let version = "0.6.4";
+in stdenv.mkDerivation {
+  pname = "solo5-tools";
+  inherit version;
+
+  src = fetchurl {
+    url =
+      "https://github.com/Solo5/solo5/releases/download/v${version}/solo5-v${version}.tar.gz";
+    sha256 = "sha256-7KyBXM0ZaG2WLoHpq6o/VoP8/qyclIEY9Hh/aLhcQlA=";
+  };
+
+  configurePhase = "sh configure.sh --only-tools";
+  installPhase = "make install-tools DESTDIR=$out";
+
+  meta = with stdenv.lib; {
+    description = "Sandboxed execution environment.";
+    homepage = "https://github.com/solo5/solo5";
+    license = licenses.isc;
+    maintainers = [ maintainers.ehmry ];
+  };
+
+}