From 6055aea48e2bcb3b07a0a404aaa8b790510d7bf6 Mon Sep 17 00:00:00 2001
From: PLR <51248199+plredmond@users.noreply.github.com>
Date: Mon, 14 Nov 2022 12:13:54 -0800
Subject: [PATCH] https://github.com/commercialhaskell/stack/issues/5210

---
 .gitignore      |   1 -
 cbcast-lh.cabal | 103 ++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 103 insertions(+), 1 deletion(-)
 create mode 100644 cbcast-lh.cabal

diff --git a/.gitignore b/.gitignore
index 8604196..01409d2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,3 @@
-*.cabal
 *.svg
 *.swp
 .liquid/
diff --git a/cbcast-lh.cabal b/cbcast-lh.cabal
new file mode 100644
index 0000000..728bac8
--- /dev/null
+++ b/cbcast-lh.cabal
@@ -0,0 +1,103 @@
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.34.7.
+--
+-- see: https://github.com/sol/hpack
+
+name:           cbcast-lh
+version:        0.0.0
+build-type:     Simple
+
+library
+  exposed-modules:
+      CBCAST
+      CBCAST.Core
+      CBCAST.Generic
+      CBCAST.Step
+      CBCAST.Transitions
+      CBCAST.Verification.Core
+      CBCAST.Verification.Global.CDpresXStep
+      CBCAST.Verification.Global.Core
+      CBCAST.Verification.Global.PLCDpresXStep
+      CBCAST.Verification.Global.XStep
+      CBCAST.Verification.PIDpresStep
+      CBCAST.Verification.PLCD
+      CBCAST.Verification.PLCDpres
+      CBCAST.Verification.PLCDpresBroadcast
+      CBCAST.Verification.PLCDpresDeliver
+      CBCAST.Verification.PLCDpresStep
+      CBCAST.Verification.ProcessOrder
+      CBCAST.Verification.Shims
+      Language.Haskell.Liquid.ProofCombinatorsExtra
+      Language.Haskell.Liquid.Properties
+      Redefined
+      Redefined.Verification
+      VectorClock
+      VectorClock.Verification
+  other-modules:
+      Paths_cbcast_lh
+  hs-source-dirs:
+      lib
+  ghc-options: -Wall -fno-warn-incomplete-patterns -fplugin=LiquidHaskell -fplugin-opt=LiquidHaskell:--short-names -fplugin-opt=LiquidHaskell:--exact-data-cons -fplugin-opt=LiquidHaskell:--reflection -fplugin-opt=LiquidHaskell:--no-adt -fplugin-opt=LiquidHaskell:--ple-local
+  build-depends:
+      liquid-base
+    , liquid-containers
+    , liquid-prelude
+    , liquidhaskell
+  default-language: Haskell2010
+
+executable example
+  main-is: ExampleKvServer.hs
+  other-modules:
+      Paths_cbcast_lh
+  ghc-options: -Wall -threaded -rtsopts "-with-rtsopts=-N -T"
+  build-depends:
+      aeson
+    , async
+    , cbcast-lh
+    , ekg
+    , ekg-core
+    , http-client
+    , liquid-base
+    , liquid-containers
+    , liquid-prelude
+    , liquidhaskell
+    , servant
+    , servant-client
+    , servant-client-core
+    , servant-server
+    , stm
+    , wai-extra
+    , wai-middleware-metrics
+    , warp
+  default-language: Haskell2010
+
+test-suite doctest
+  type: exitcode-stdio-1.0
+  main-is: Doctest.hs
+  other-modules:
+      Paths_cbcast_lh
+  ghc-options: -Wall
+  build-depends:
+      QuickCheck
+    , doctest
+    , liquid-base
+    , liquid-containers
+    , liquid-prelude
+    , liquidhaskell
+  default-language: Haskell2010
+
+test-suite listing
+  type: exitcode-stdio-1.0
+  main-is: Listing.hs
+  other-modules:
+      Paths_cbcast_lh
+  ghc-options: -Wall
+  build-depends:
+      cbcast-lh
+    , liquid-base
+    , liquid-containers
+    , liquid-prelude
+    , liquidhaskell
+    , stm
+  default-language: Haskell2010