From e5834ea3910090607b7d5131487310d8c8a4b2ed Mon Sep 17 00:00:00 2001
From: Niklas Dewally <niklas@dewally.com>
Date: Mon, 22 Jan 2024 14:26:08 +0000
Subject: [PATCH] Make chuffed-rs non-default member of workspace.

Chuffed-rs does not compile on lab machines. Making it non default means
that cargo test / cargo building the workspace will now succeed on the
school lab machines.
---
 Cargo.toml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Cargo.toml b/Cargo.toml
index 834320ce16..80bf72b36e 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,5 +1,13 @@
 [workspace]
 resolver = "2"
+
+default-members = [
+    "conjure_oxide",
+    "crates/conjure_core",
+    "solvers/kissat",
+    "solvers/minion",
+]
+
 members = [
     "conjure_oxide",
     "crates/conjure_core",