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 }
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>`"
+        )
+    }
 }