From efac9bcb4a08f37e2f1db33dd2fe09bb9c52dce6 Mon Sep 17 00:00:00 2001
From: Chris Hathhorn <chathhorn@galois.com>
Date: Tue, 14 Oct 2025 13:23:49 -0500
Subject: [PATCH 1/2] copilot-bluespec: Update copilot-bluespec.cabal to only
 run tests when passed "test-bluespec" flag. Refs Copilot-Language#673.

The copilot-bluespec package requires bsc (the Bluespec compiler) to be
installed in order to run its test suite, but the builders that Hackage uses to
run uploaded packages' test suites do not have bsc installed, causing Hackage
to spuriously claim that copilot-bluespec's tests are failing.

This commit adds a cabal flag `test-bluespec` intended to enable tests that
require the Bluespec compiler (`bsc`) to run. The default behavior of `cabal
test` (with no flags) is now to not build the testsuite, preventing spurious
test failures from appearing in Hackage reports. To enable building the
testsuite, use: `cabal test -f test-bluespec`.
---
 copilot-bluespec/copilot-bluespec.cabal | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/copilot-bluespec/copilot-bluespec.cabal b/copilot-bluespec/copilot-bluespec.cabal
index 975868ac..40ed3093 100644
--- a/copilot-bluespec/copilot-bluespec.cabal
+++ b/copilot-bluespec/copilot-bluespec.cabal
@@ -34,6 +34,11 @@ source-repository head
     type:       git
     location:   https://github.com/Copilot-Language/copilot-bluespec.git
 
+flag test-bluespec
+    description: Enable tests that require the Bluespec compiler (bsc)
+    default: False
+    manual: True
+
 library
   default-language        : Haskell2010
   hs-source-dirs          : src
@@ -98,3 +103,8 @@ test-suite tests
 
   ghc-options:
     -Wall
+
+  if flag(test-bluespec)
+    buildable: True
+  else
+    buildable: False

From f72d605f10e741b2b76cc0d33e34ed3ecaef654d Mon Sep 17 00:00:00 2001
From: Chris Hathhorn <chathhorn@galois.com>
Date: Thu, 4 Dec 2025 15:58:18 -0600
Subject: [PATCH 2/2] copilot-bluespec: Document changes in CHANGELOG. Refs
 Copilot-Language#673.

---
 copilot-bluespec/CHANGELOG | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/copilot-bluespec/CHANGELOG b/copilot-bluespec/CHANGELOG
index 5365300c..c17e42e1 100644
--- a/copilot-bluespec/CHANGELOG
+++ b/copilot-bluespec/CHANGELOG
@@ -1,3 +1,7 @@
+2025-12-04
+        * Disable building testsuite by default, use cabal flag `test-bluespec`
+          to enable. (#673)
+
 2025-11-07
         * Version bump (4.6). (#679)
         * Flip direction of interface inputs and outputs in Bluespec. (#677)