From bc3e8513db0ac20ff16e1d8e164edc352ce5f952 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Mon, 7 Oct 2024 14:16:47 +0200
Subject: [PATCH] Add binary to spec-cpu-mini

---
 pkgs/spec-cpu/mini.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/spec-cpu/mini.nix b/pkgs/spec-cpu/mini.nix
index 674e682..251a210 100644
--- a/pkgs/spec-cpu/mini.nix
+++ b/pkgs/spec-cpu/mini.nix
@@ -32,6 +32,9 @@ stdenv.mkDerivation rec {
     for bench in $benchList; do
       cp -a ${spec-cpu}/benchspec/CPU/$bench $out/benchspec/CPU/
     done
+    mkdir -p $out/bin
+    echo -e "#!$SHELL\necho $out" > $out/bin/spec-cpu-mini
+    chmod +x $out/bin/spec-cpu-mini
   '';
   enableParallelBuilding = false;
   hardeningDisable = [ "all" ];