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.
conjure-cp · Jan 25, 2024 · e5834ea · e5834ea
1 parent 7282e0e
commit e5834ea
Showing 1 changed file with 8 additions and 0 deletions.
diff --git 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",