From 658fa243df4a5a38eb51f2263911a1136cbf69e6 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Thu, 23 Jan 2020 18:21:12 +0100
Subject: [PATCH] Explicitly strip the solo5 library

The server7 hydra is producing a different binary than my laptop.
---
 packages/solo5/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/packages/solo5/default.nix b/packages/solo5/default.nix
index 389f913..6b2f275 100644
--- a/packages/solo5/default.nix
+++ b/packages/solo5/default.nix
@@ -43,6 +43,8 @@ in stdenv.mkDerivation {
     runHook postInstall
   '';
 
+  preFixup = "$STRIP $out/lib/solo5-bindings-genode/solo5.lib.so";
+
   meta = with stdenv.lib; {
     description = "Sandboxed execution environment.";
     homepage = "https://github.com/solo5/solo5";