From 54b74bdb0ff66b51f70ff610a3dd915b0523bb0f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joosep=20J=C3=A4=C3=A4ger?= <joosep.jaager@iohk.io>
Date: Tue, 31 Oct 2023 15:12:42 +0200
Subject: [PATCH] Renamed the cabal project of the executable spec

---
 ...dano-ledger.cabal => cardano-ledger-executable-spec.cabal} | 4 ++--
 src/Makefile                                                  | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)
 rename src/Ledger/hs-src/{cardano-ledger.cabal => cardano-ledger-executable-spec.cabal} (93%)

diff --git a/src/Ledger/hs-src/cardano-ledger.cabal b/src/Ledger/hs-src/cardano-ledger-executable-spec.cabal
similarity index 93%
rename from src/Ledger/hs-src/cardano-ledger.cabal
rename to src/Ledger/hs-src/cardano-ledger-executable-spec.cabal
index 524ec1bb1..2d19b06b2 100644
--- a/src/Ledger/hs-src/cardano-ledger.cabal
+++ b/src/Ledger/hs-src/cardano-ledger-executable-spec.cabal
@@ -1,5 +1,5 @@
 cabal-version:      2.4
-name:               cardano-ledger
+name:               cardano-ledger-executable-spec
 version:            0.1.0.0
 synopsis:
 
@@ -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
diff --git a/src/Makefile b/src/Makefile
index 7ae317452..153271516 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -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)