Skip to content

Commit

Permalink
Renamed the cabal project of the executable spec
Browse files Browse the repository at this point in the history
  • Loading branch information
Soupstraw committed Oct 31, 2023
1 parent c69f593 commit 54b74bd
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
cabal-version: 2.4
name: cardano-ledger
name: cardano-ledger-executable-spec
version: 0.1.0.0
synopsis:

Expand Down Expand Up @@ -35,7 +35,7 @@ test-suite test
other-modules:
UtxowSpec
build-depends:
cardano-ledger,
cardano-ledger-executable-spec,
hspec,
HUnit
build-tool-depends: hspec-discover:hspec-discover
Expand Down
2 changes: 1 addition & 1 deletion src/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,7 @@ endef
HS_LEDGER=$(HS_DIR)/$(LEDGER)/$(MALONZO_DIR)/$(LEDGER)/Foreign/HSLedger.hs
HS_MIDNIGHT=$(HS_DIR)/$(MIDNIGHT)/$(MALONZO_DIR)/$(MIDNIGHT)/HSLedger.hs
$(HS_LEDGER): $(LEDGER)/Foreign/HSLedger.agda
$(call agdaToHs,cardano-ledger)
$(call agdaToHs,cardano-ledger-executable-spec)
$(HS_MIDNIGHT): $(MIDNIGHT)/HSLedger.agda
$(call agdaToHs,midnight-example)

Expand Down

0 comments on commit 54b74bd

Please sign in to comment.