Skip to content

Commit

Permalink
Merge pull request #4510 from IntersectMBO/nc/4461
Browse files Browse the repository at this point in the history
Auto-generate Conway CDDL using Cuddle
  • Loading branch information
nc6 authored Jul 31, 2024
2 parents 079bd13 + 3aa293f commit bca8e2b
Show file tree
Hide file tree
Showing 13 changed files with 665 additions and 722 deletions.
2 changes: 1 addition & 1 deletion cabal.project
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ index-state:
-- Bump this if you need newer packages from Hackage
, hackage.haskell.org 2024-07-23T00:03:37Z
-- Bump this if you need newer packages from CHaP
, cardano-haskell-packages 2024-07-23T08:58:13Z
, cardano-haskell-packages 2024-07-25T13:19:14Z

packages:
eras/allegra/impl
Expand Down
19 changes: 16 additions & 3 deletions eras/conway/impl/cardano-ledger-conway.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,6 @@ build-type: Simple
data-files:
test/data/*.json
cddl-files/conway.cddl
cddl-files/crypto.cddl
cddl-files/extra.cddl

extra-source-files: CHANGELOG.md

Expand Down Expand Up @@ -145,7 +143,7 @@ library testlib
bytestring,
cardano-data:{cardano-data, testlib},
containers,
cuddle,
cuddle >=0.3.0.0,
plutus-ledger-api,
deepseq,
microlens,
Expand All @@ -166,6 +164,21 @@ library testlib
text,
small-steps >=1.1

executable huddle-cddl
main-is: Main.hs
hs-source-dirs: huddle-cddl
other-modules: Paths_cardano_ledger_conway
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
Expand Down
Loading

0 comments on commit bca8e2b

Please sign in to comment.