From 1e2778fdb0a1479b588e5397b8b2bc05d5a1bee0 Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Thu, 8 Aug 2024 19:06:50 +0200
Subject: [PATCH] hpipm: use shared libs

---
 pkgs/by-name/hp/hpipm/package.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/by-name/hp/hpipm/package.nix b/pkgs/by-name/hp/hpipm/package.nix
index be4cfe50f80f..5a890c37ceec 100644
--- a/pkgs/by-name/hp/hpipm/package.nix
+++ b/pkgs/by-name/hp/hpipm/package.nix
@@ -27,6 +27,7 @@ stdenv.mkDerivation (finalAttrs: {
 
   cmakeFlags = [
     "-DBLASFEO_PATH=${blasfeo}"
+    "-DBUILD_SHARED_LIBS=ON"
   ] ++ lib.optionals (!stdenv.isx86_64) [ "-DTARGET=GENERIC" ];
 
   meta = {