Merge pull request #4557 from IntersectMBO/nc/4462-ma

Define CDDL via Huddle in shelley-ma
IntersectMBO · Nov 1, 2024 · 64833b6 · 64833b6
2 parents 45e6e43 + 744c27c
commit 64833b6
Show file tree

Hide file tree

Showing 19 changed files with 833 additions and 619 deletions.
diff --git a/eras/allegra/impl/cardano-ledger-allegra.cabal b/eras/allegra/impl/cardano-ledger-allegra.cabal
@@ -11,11 +11,7 @@ description:
 
 category:           Network
 build-type:         Simple
-data-files:
-    cddl-files/allegra.cddl
-    cddl-files/crypto.cddl
-    cddl-files/extras.cddl
-
+data-files:         cddl-files/allegra.cddl
 extra-source-files: CHANGELOG.md
 
 source-repository head
@@ -85,6 +81,7 @@ library testlib
     exposed-modules:
         Test.Cardano.Ledger.Allegra.Arbitrary
         Test.Cardano.Ledger.Allegra.Binary.Cddl
+        Test.Cardano.Ledger.Allegra.CDDL
         Test.Cardano.Ledger.Allegra.Imp
         Test.Cardano.Ledger.Allegra.Imp.UtxowSpec
         Test.Cardano.Ledger.Allegra.ImpTest
@@ -108,13 +105,29 @@ library testlib
         cardano-ledger-shelley:{cardano-ledger-shelley, testlib},
         cardano-strict-containers,
         containers,
+        cuddle,
         generic-random,
         microlens,
         mtl,
         small-steps,
         text,
         QuickCheck
 
+executable huddle-cddl
+    main-is:          Main.hs
+    hs-source-dirs:   huddle-cddl
+    other-modules:    Paths_cardano_ledger_allegra
+    default-language: Haskell2010
+    ghc-options:
+        -Wall -Wcompat -Wincomplete-record-updates
+        -Wincomplete-uni-patterns -Wredundant-constraints -Wpartial-fields
+        -Wunused-packages -threaded -rtsopts -with-rtsopts=-N
+
+    build-depends:
+        base,
+        testlib,
+        cardano-ledger-binary:testlib >=1.3.4.0
+
 test-suite tests
     type:             exitcode-stdio-1.0
     main-is:          Main.hs