Skip to content

Fix cabal REPL functionality by consolidating build configuration #64

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
zeme-wana merged 3 commits into from
Nov 10, 2025
Merged

Fix cabal REPL functionality by consolidating build configuration #64

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
f617a8b
refactor(build): centralize Plutus dependencies in cabal
Unisay Nov 7, 2025
13cc7f6
refactor(build): consolidate GHC options in cabal stanzas
Unisay Nov 7, 2025
1b499f1
ci: add REPL verification to build workflow
Unisay Nov 7, 2025
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 .github/workflows/build-devcontainer.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,4 +20,4 @@ jobs:
-v ./.:/workspaces/plinth-template \
-w /workspaces/plinth-template \
-i ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc96-iog \
bash -ic "cabal update && cabal build all"
bash -ic "cabal update && cabal build all && echo ':q' | cabal repl lib:plinth-validators"
13 changes: 0 additions & 13 deletions app/GenAuctionValidatorBlueprint.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,16 +1,3 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE NumericUnderscores #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE UndecidableInstances #-}

module Main where

import AuctionValidator
Expand Down
18 changes: 0 additions & 18 deletions app/GenMintingPolicyBlueprint.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,21 +1,3 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ImportQualifiedPost #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ViewPatterns #-}

module Main where

import AuctionMintingPolicy
Expand Down
89 changes: 60 additions & 29 deletions plinth-template.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,48 +5,79 @@ license:
build-type: Simple
extra-doc-files: README.md

common options
ghc-options: -Wall
default-language: Haskell2010
-- These options are supported by GHC and Plinth
common ghc-options
ghc-options: -Wall
default-language: Haskell2010
default-extensions:
DataKinds
DeriveAnyClass
DeriveGeneric
DerivingStrategies
FlexibleContexts
FlexibleInstances
GeneralizedNewtypeDeriving
ImportQualifiedPost
LambdaCase
MultiParamTypeClasses
NumericUnderscores
OverloadedStrings
PatternSynonyms
RecordWildCards
ScopedTypeVariables
StandaloneDeriving
Strict
TemplateHaskell
TypeApplications
UndecidableInstances
ViewPatterns

library scripts
import: options
hs-source-dirs: src
-- These options are only for GHC builds (not supported by Plinth)
common ghc-only-options
import: ghc-options
default-extensions: GADTs

-- These options are required for Plinth builds
common plinth-options
import: ghc-options
ghc-options:
-fobject-code -fno-full-laziness -fno-ignore-interface-pragmas
-fno-omit-interface-pragmas -fno-spec-constr -fno-specialise
-fno-strictness -fno-unbox-small-strict-fields
-fno-unbox-strict-fields -fplugin-opt
PlutusTx.Plugin:target-version=1.1.0

common plutus-deps
build-depends:
, plutus-core ^>=1.54.0.0
, plutus-ledger-api ^>=1.54.0.0
, plutus-tx ^>=1.54.0.0
, plutus-tx-plugin ^>=1.54.0.0

library plinth-validators
import: plinth-options, plutus-deps
hs-source-dirs: src
build-depends: base
exposed-modules:
AuctionMintingPolicy
AuctionValidator

build-depends:
, base
, plutus-core ^>=1.54.0.0
, plutus-ledger-api ^>=1.54.0.0
, plutus-tx ^>=1.54.0.0
, plutus-tx-plugin ^>=1.54.0.0

executable gen-auction-validator-blueprint
import: options
hs-source-dirs: app
main-is: GenAuctionValidatorBlueprint.hs
import: ghc-only-options, plutus-deps
hs-source-dirs: app
main-is: GenAuctionValidatorBlueprint.hs
build-depends:
, base
, bytestring
, containers
, plutus-core ^>=1.54.0.0
, plutus-ledger-api ^>=1.54.0.0
, plutus-tx ^>=1.54.0.0
, plutus-tx-plugin ^>=1.54.0.0
, scripts
, plinth-validators

executable gen-minting-policy-blueprint
import: options
hs-source-dirs: app
main-is: GenMintingPolicyBlueprint.hs
import: ghc-only-options, plutus-deps
hs-source-dirs: app
main-is: GenMintingPolicyBlueprint.hs
build-depends:
, base
, bytestring
, containers
, plutus-core ^>=1.54.0.0
, plutus-ledger-api ^>=1.54.0.0
, plutus-tx ^>=1.54.0.0
, plutus-tx-plugin ^>=1.54.0.0
, scripts
, plinth-validators
21 changes: 0 additions & 21 deletions src/AuctionMintingPolicy.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,24 +1,3 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE ImportQualifiedPost #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE Strict #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE ViewPatterns #-}
{-# OPTIONS_GHC -fno-full-laziness #-}
{-# OPTIONS_GHC -fno-ignore-interface-pragmas #-}
{-# OPTIONS_GHC -fno-omit-interface-pragmas #-}
{-# OPTIONS_GHC -fno-spec-constr #-}
{-# OPTIONS_GHC -fno-specialise #-}
{-# OPTIONS_GHC -fno-strictness #-}
{-# OPTIONS_GHC -fno-unbox-small-strict-fields #-}
{-# OPTIONS_GHC -fno-unbox-strict-fields #-}
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:target-version=1.1.0 #-}

module AuctionMintingPolicy where

import PlutusCore.Version (plcVersion110)
Expand Down
26 changes: 0 additions & 26 deletions src/AuctionValidator.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,29 +1,3 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE ImportQualifiedPost #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE Strict #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ViewPatterns #-}
{-# OPTIONS_GHC -fno-full-laziness #-}
{-# OPTIONS_GHC -fno-ignore-interface-pragmas #-}
{-# OPTIONS_GHC -fno-omit-interface-pragmas #-}
{-# OPTIONS_GHC -fno-spec-constr #-}
{-# OPTIONS_GHC -fno-specialise #-}
{-# OPTIONS_GHC -fno-strictness #-}
{-# OPTIONS_GHC -fno-unbox-small-strict-fields #-}
{-# OPTIONS_GHC -fno-unbox-strict-fields #-}
{-# OPTIONS_GHC -fplugin-opt PlutusTx.Plugin:target-version=1.1.0 #-}

module AuctionValidator where

import GHC.Generics (Generic)
Expand Down