From d78aa77f730cea6a2ad64ef4ee6f91f92a46e276 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= <berykubik@gmail.com>
Date: Thu, 26 Feb 2026 21:13:48 +0100
Subject: [PATCH 1/3] Fix build of highs with `--no-default-features`

---
 crates/hyperqueue/Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/hyperqueue/Cargo.toml b/crates/hyperqueue/Cargo.toml
index 72f63e78b..60c539828 100644
--- a/crates/hyperqueue/Cargo.toml
+++ b/crates/hyperqueue/Cargo.toml
@@ -57,7 +57,7 @@ crossterm = { version = "0.29", features = ["event-stream"], optional = true }
 unicode-width = { version = "0.2", optional = true }
 
 # Tako
-tako = { path = "../tako" }
+tako = { path = "../tako", default-features = false }
 
 # Optional dependencies
 jemallocator = { version = "0.5", optional = true }

From dd7c7c66cae621dceb9d91d205fbec8ff7c4dde0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= <berykubik@gmail.com>
Date: Thu, 26 Feb 2026 21:15:10 +0100
Subject: [PATCH 2/3] Improve error when no solver feature is enabled

---
 crates/tako/src/internal/worker/resources/solver.rs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/crates/tako/src/internal/worker/resources/solver.rs b/crates/tako/src/internal/worker/resources/solver.rs
index c2596bb39..86817ae76 100644
--- a/crates/tako/src/internal/worker/resources/solver.rs
+++ b/crates/tako/src/internal/worker/resources/solver.rs
@@ -24,4 +24,10 @@ pub fn create_solver() -> impl LpSolver {
         use super::solver_microlp::MicrolpSolver;
         MicrolpSolver::new()
     }
+    #[cfg(not(any(feature = "highs", feature = "microlp")))]
+    {
+        compile_error!(
+            "You have to enable either the `highs` or the `microlp` feature using `cargo build ... --features <highs/microlp>`"
+        )
+    }
 }

From 120bd27d6c531900dfb829501e68b7b0785f08ba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= <berykubik@gmail.com>
Date: Fri, 6 Mar 2026 14:52:02 +0100
Subject: [PATCH 3/3] Fix CI

---
 .github/workflows/build.yml | 2 +-
 .github/workflows/test.yml  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 67d89c316..5a4901c6c 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -111,7 +111,7 @@ jobs:
       - name: Compile
         env:
           HQ_BUILD_VERSION: ${{ needs.set-env.outputs.version }}
-        run: cross build --target ${{ matrix.arch }} --no-default-features --profile dist
+        run: cross build --target ${{ matrix.arch }} --no-default-features --profile dist --features highs
 
       - name: Prepare archive
         id: archive
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 1c9e5b35a..18724ae81 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -108,9 +108,9 @@ jobs:
           key: ${{ matrix.os }}
 
       - name: Build HyperQueue
-        run: cargo build --no-default-features
+        run: cargo build --no-default-features --features highs
       - name: Run HyperQueue
-        run: cargo run --no-default-features -- --version
+        run: cargo run --no-default-features --features highs -- --version
 
       - name: Setup Python
         uses: actions/setup-python@v2