From cb7b813389162eaa4f931dda6693b58bad095b81 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 9 Oct 2024 15:53:57 +0200
Subject: [PATCH] Add speclaunch to spec mini

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

diff --git a/pkgs/spec-cpu/mini.nix b/pkgs/spec-cpu/mini.nix
index 033d978..d2ae59b 100644
--- a/pkgs/spec-cpu/mini.nix
+++ b/pkgs/spec-cpu/mini.nix
@@ -3,6 +3,7 @@
 , spec-cpu
 , spec-cpu-tools
 , specinvoke
+, speclaunch
 }:
 
 stdenv.mkDerivation rec {
@@ -51,6 +52,7 @@ stdenv.mkDerivation rec {
     echo -e "#!$SHELL\necho $out" > $out/bin/spec-cpu-mini
     chmod +x $out/bin/spec-cpu-mini
     cp ${specinvoke}/bin/specinvoke $out/bin
+    cp ${speclaunch}/bin/speclaunch $out/bin
   '';
   enableParallelBuilding = false;
   hardeningDisable = [ "all" ];