From 9888046fb17982cbab47e79409136c184d85113a Mon Sep 17 00:00:00 2001 From: Mako Bates <33739499+ShapeOfMatter@users.noreply.github.com> Date: Thu, 5 Dec 2024 13:31:04 -0500 Subject: [PATCH] be more forceful about avoiding dependencies. --- MultiChor.cabal | 249 ++++++++++++++++++++++++------------------------ 1 file changed, 124 insertions(+), 125 deletions(-) diff --git a/MultiChor.cabal b/MultiChor.cabal index 7380221..064e92d 100644 --- a/MultiChor.cabal +++ b/MultiChor.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: MultiChor -version: 1.0.0.0 +version: 1.0.1.1 license-files: , LICENSE , LICENSE.inherited @@ -12,7 +12,7 @@ description: MultiChor is a library for functional choreographic programming in Haskell. tested-with: - GHC == 9.4.8 + GHC == 9.4.8, GHC == 9.10.1 extra-doc-files: README.md @@ -80,27 +80,26 @@ common example import: lib-dependent if flag(test) buildable: True + hs-source-dirs: examples + build-depends: + , async >= 2.2 && < 2.3 + , binary >= 0.8.9.0 && < 0.10.1.0 + -- trying to get hls to work with TestSuite + , Cabal >= 3.6.3 && < 3.13 + --, cabal-detailed-quickcheck >= 0.2.0 && < 0.3 + -- + , containers >= 0.6 && < 0.7 + , cryptonite >= 0.10 && < 0.31 + , finite-field >= 0.10.0 && < 0.11.0 + , split >= 0.2 && < 0.3 + , random >= 1.2 && < 1.3 + , time >= 1.11 && < 1.15 + , transformers >= 0.5 && < 0.7 + , QuickCheck >= 2.14 && < 3 + other-modules: Distribution.TestSuite.QuickCheck + , CLI else buildable: False - hs-source-dirs: examples - build-depends: - , async >= 2.2 && < 2.3 - , binary >= 0.8.9.0 && < 0.10.1.0 - -- trying to get hls to work with TestSuite - , Cabal >= 3.6.3 && < 3.13 - --, cabal-detailed-quickcheck >= 0.2.0 && < 0.3 - -- - , containers >= 0.6 && < 0.7 - , cryptonite >= 0.10 && < 0.31 - , finite-field >= 0.10.0 && < 0.11.0 - , split >= 0.2 && < 0.3 - , random >= 1.2 && < 1.3 - , time >= 1.11 && < 1.15 - , transformers >= 0.5 && < 0.7 - , QuickCheck >= 2.14 && < 3 - other-modules: Data - , Distribution.TestSuite.QuickCheck - , CLI Test-Suite testExamples import: example @@ -133,107 +132,107 @@ Test-Suite testExamples , QuickSort , RingLeader -executable bank-2pc - import: example - main-is: Bank2PC.hs - ghc-options: - -main-is Bank2PC - -executable lottery - import: example - main-is: Lottery.hs - ghc-options: - -main-is Lottery - - -executable bookseller-0-network - import: example - main-is: Bookseller0Network.hs - ghc-options: - -main-is Bookseller0Network - -executable bookseller-1-simple - import: example - main-is: Bookseller1Simple.hs - ghc-options: - -main-is Bookseller1Simple - -executable bookseller-2-higher-order - import: example - main-is: Bookseller2HigherOrder.hs - ghc-options: - -main-is Bookseller2HigherOrder - -executable bookseller-3-loc-poly - import: example - main-is: Bookseller3LocPoly.hs - ghc-options: - -main-is Bookseller3LocPoly - -executable diffiehellman - import: example - main-is: DiffieHellman.hs - ghc-options: - -main-is DiffieHellman - -executable gmw-real - import: example - main-is: GMWReal.hs - ghc-options: - -main-is GMWReal - other-modules: - ObliviousTransfer - -executable karatsuba - import: example - main-is: Karatsuba.hs - ghc-options: - -main-is Karatsuba - -executable kvs1 - import: example - main-is: KVS1Simple.hs - ghc-options: - -main-is KVS1Simple - -executable kvs2 - import: example - main-is: KVS2PrimaryBackup.hs - ghc-options: - -main-is KVS2PrimaryBackup - -executable kvs3 - import: example - main-is: KVS3HigherOrder.hs - ghc-options: - -main-is KVS3HigherOrder - -executable kvs4 - import: example - main-is: KVS4LocPoly.hs - ghc-options: - -main-is KVS4LocPoly - -executable mergesort - import: example - main-is: MergeSort.hs - ghc-options: - -main-is MergeSort - -executable oblivious-transfer - import: example - main-is: ObliviousTransfer.hs - ghc-options: - -main-is ObliviousTransfer - -executable quicksort - import: example - main-is: QuickSort.hs - ghc-options: - -main-is QuickSort - -executable ring-leader - import: example - main-is: RingLeader.hs - ghc-options: - -main-is RingLeader +--executable bank-2pc +-- import: example +-- main-is: Bank2PC.hs +-- ghc-options: +-- -main-is Bank2PC +-- +--executable lottery +-- import: example +-- main-is: Lottery.hs +-- ghc-options: +-- -main-is Lottery +-- +-- +--executable bookseller-0-network +-- import: example +-- main-is: Bookseller0Network.hs +-- ghc-options: +-- -main-is Bookseller0Network +-- +--executable bookseller-1-simple +-- import: example +-- main-is: Bookseller1Simple.hs +-- ghc-options: +-- -main-is Bookseller1Simple +-- +--executable bookseller-2-higher-order +-- import: example +-- main-is: Bookseller2HigherOrder.hs +-- ghc-options: +-- -main-is Bookseller2HigherOrder +-- +--executable bookseller-3-loc-poly +-- import: example +-- main-is: Bookseller3LocPoly.hs +-- ghc-options: +-- -main-is Bookseller3LocPoly +-- +--executable diffiehellman +-- import: example +-- main-is: DiffieHellman.hs +-- ghc-options: +-- -main-is DiffieHellman +-- +--executable gmw-real +-- import: example +-- main-is: GMWReal.hs +-- ghc-options: +-- -main-is GMWReal +-- other-modules: +-- ObliviousTransfer +-- +--executable karatsuba +-- import: example +-- main-is: Karatsuba.hs +-- ghc-options: +-- -main-is Karatsuba +-- +--executable kvs1 +-- import: example +-- main-is: KVS1Simple.hs +-- ghc-options: +-- -main-is KVS1Simple +-- +--executable kvs2 +-- import: example +-- main-is: KVS2PrimaryBackup.hs +-- ghc-options: +-- -main-is KVS2PrimaryBackup +-- +--executable kvs3 +-- import: example +-- main-is: KVS3HigherOrder.hs +-- ghc-options: +-- -main-is KVS3HigherOrder +-- +--executable kvs4 +-- import: example +-- main-is: KVS4LocPoly.hs +-- ghc-options: +-- -main-is KVS4LocPoly +-- +--executable mergesort +-- import: example +-- main-is: MergeSort.hs +-- ghc-options: +-- -main-is MergeSort +-- +--executable oblivious-transfer +-- import: example +-- main-is: ObliviousTransfer.hs +-- ghc-options: +-- -main-is ObliviousTransfer +-- +--executable quicksort +-- import: example +-- main-is: QuickSort.hs +-- ghc-options: +-- -main-is QuickSort +-- +--executable ring-leader +-- import: example +-- main-is: RingLeader.hs +-- ghc-options: +-- -main-is RingLeader