From 1bbe28f41526a924424120b19ca50dcb36293fa3 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 11 Jul 2024 12:52:33 -0400 Subject: [PATCH] Remove redundant `build-depends` packages `copilot-verifier.cabal` incurs some Copilot-related package dependencies that it does not actually use. Let's remove them. When necessary, this patch moves these dependencies to the `build-depends` stanza of the `copilot-verifier-examples` sublibrary (which depends on more parts of Copilot than the main `copilot-verifier` library does). --- copilot-verifier-demo/copilot-verifier-demo.cabal | 3 --- copilot-verifier/copilot-verifier.cabal | 7 +++---- 2 files changed, 3 insertions(+), 7 deletions(-) diff --git a/copilot-verifier-demo/copilot-verifier-demo.cabal b/copilot-verifier-demo/copilot-verifier-demo.cabal index 63b3d7a..2f429d0 100644 --- a/copilot-verifier-demo/copilot-verifier-demo.cabal +++ b/copilot-verifier-demo/copilot-verifier-demo.cabal @@ -27,9 +27,6 @@ common bldflags copilot, copilot-c99, copilot-core, - copilot-libraries, - copilot-language, - copilot-theorem, copilot-verifier library diff --git a/copilot-verifier/copilot-verifier.cabal b/copilot-verifier/copilot-verifier.cabal index 18b0d0b..73132bc 100644 --- a/copilot-verifier/copilot-verifier.cabal +++ b/copilot-verifier/copilot-verifier.cabal @@ -45,12 +45,8 @@ common bldflags bv-sized >= 1.0.0 && < 1.1, bytestring, containers >= 0.5.9.0, - copilot >= 3.19 && < 3.20, copilot-c99 >= 3.19 && < 3.20, copilot-core >= 3.19 && < 3.20, - copilot-libraries >= 3.19 && < 3.20, - copilot-language >= 3.19 && < 3.20, - copilot-prettyprinter >= 3.19 && < 3.20, copilot-theorem >= 3.19 && < 3.20, crucible >= 0.7 && < 0.8, crucible-llvm >= 0.6 && < 0.7, @@ -82,6 +78,9 @@ library copilot-verifier-examples hs-source-dirs: examples build-depends: case-insensitive, + copilot >= 3.19 && < 3.20, + copilot-language >= 3.19 && < 3.20, + copilot-prettyprinter >= 3.19 && < 3.20, copilot-verifier exposed-modules: Copilot.Verifier.Examples