Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -31,4 +31,4 @@ bidder_deposit_validator:
cabal v2-run hydra-auction-onchain-exe -- --script bidder_deposit

auction_metadata_validator:
cabal v2-run hydra-auction-onchain-exe -- --script metadata
cabal v2-run hydra-auction-onchain-exe -- --script auction_metadata
28 changes: 27 additions & 1 deletion app/Main.hs
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,8 @@ import HydraAuctionOnchain.Scripts
, auctionMetadataValidatorUntyped
, auctionMintingPolicyUntyped
, bidderDepositValidatorUntyped
, delegateGroupMetadataValidatorUntyped
, delegateGroupMintingPolicyUntyped
, standingBidValidatorUntyped
, writeScript
)
Expand All @@ -30,6 +32,8 @@ main =
writeStandingBidValidator
writeBidderDepositValidator
writeAuctionMetadataValidator
writeDelegateGroupMintingPolicy
writeDelegateGroupMetadataValidator
AuctionMintingPolicy ->
writeAuctionMintingPolicy
AuctionEscrowValidator ->
Expand All @@ -40,6 +44,10 @@ main =
writeBidderDepositValidator
AuctionMetadataValidator ->
writeAuctionMetadataValidator
DelegateGroupMintingPolicy ->
writeDelegateGroupMintingPolicy
DelegateGroupMetadataValidator ->
writeDelegateGroupMetadataValidator

writeAuctionMintingPolicy :: IO ()
writeAuctionMintingPolicy =
Expand Down Expand Up @@ -76,13 +84,29 @@ writeAuctionMetadataValidator =
"compiled/auction_metadata_validator.plutus"
auctionMetadataValidatorUntyped

writeDelegateGroupMintingPolicy :: IO ()
writeDelegateGroupMintingPolicy =
writeScript
"Delegate group minting policy"
"compiled/delegate_group_minting_policy.plutus"
delegateGroupMintingPolicyUntyped

writeDelegateGroupMetadataValidator :: IO ()
writeDelegateGroupMetadataValidator =
writeScript
"Delegate group metadata validator"
"compiled/delegate_group_metadata_validator.plutus"
delegateGroupMetadataValidatorUntyped

data ScriptToCompile
= AllScripts
| AuctionMintingPolicy
| AuctionEscrowValidator
| StandingBidValidator
| BidderDepositValidator
| AuctionMetadataValidator
| DelegateGroupMintingPolicy
| DelegateGroupMetadataValidator
deriving stock (Show, Eq)

toScript :: String -> Maybe ScriptToCompile
Expand All @@ -92,7 +116,9 @@ toScript = \case
"auction_escrow" -> Just AuctionEscrowValidator
"standing_bid" -> Just StandingBidValidator
"bidder_deposit" -> Just BidderDepositValidator
"metadata" -> Just AuctionMetadataValidator
"auction_metadata" -> Just AuctionMetadataValidator
"delegate_group_mp" -> Just DelegateGroupMintingPolicy
"delegate_group_metadata" -> Just DelegateGroupMetadataValidator
_ -> Nothing

scriptToCompile :: Parser ScriptToCompile
Expand Down
8 changes: 8 additions & 0 deletions compiled/delegate_group_metadata_validator.plutus

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

11 changes: 11 additions & 0 deletions compiled/delegate_group_minting_policy.plutus

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading