Skip to content
Snippets Groups Projects
plutus-core.nix 3.77 KiB
Newer Older
{ mkDerivation, HUnit, QuickCheck, Stream, aeson, algebraic-graphs
Daniel Firth's avatar
Daniel Firth committed
, array, barbies, base, base64-bytestring, bifunctors, bimap, brick
, bytestring, cardano-crypto, cardano-crypto-class, cassava, cborg
, composition-prelude, containers, criterion, criterion-measurement
, cryptonite, data-default-class, deepseq, dependent-map
Daniel Firth's avatar
Daniel Firth committed
, dependent-sum, dependent-sum-template, deriving-aeson
, deriving-compat, directory, dlist, dom-lt, exceptions, extra
, fetchzip, filepath, flat, free, ghc-prim, hashable, haskeline
, hedgehog, hex-text, int-cast, lazy-search, lens, lib, megaparsec
, microlens, microlens-th, mmorph, mono-traversable
, monoidal-containers, mtl, multiset, nonempty-vector, nothunks
, optparse-applicative, parser-combinators, pretty-show
, prettyprinter, prettyprinter-configurable, primitive, profunctors
, quickcheck-instances, quickcheck-transformer, ral, random
, recursion-schemes, semigroupoids, semigroups, serialise
, size-based, some, split, tagged, tasty, tasty-golden
, tasty-hedgehog, tasty-hunit, tasty-quickcheck, template-haskell
, test-framework, test-framework-hunit, test-framework-quickcheck2
, text, text-zipper, th-compat, th-lift, th-lift-instances
, th-utilities, time, transformers, unordered-containers, vector
, vty, witherable
}:
mkDerivation {
  pname = "plutus-core";
Daniel Firth's avatar
Daniel Firth committed
  version = "1.7.0.0";
  src = fetchzip {
    url = "https://input-output-hk.github.io/cardano-haskell-packages/package/plutus-core-1.7.0.0.tar.gz";
    sha256 = "043f46zgy337ngc9hl0cr8wh0lkhvbsb4fi3is8ydlia7xr7nhla";
  };
  isLibrary = true;
  isExecutable = true;
  enableSeparateDataOutput = false;
  libraryHaskellDepends = [
    aeson algebraic-graphs array barbies base base64-bytestring
    bifunctors bimap bytestring cardano-crypto cardano-crypto-class
    cassava cborg composition-prelude containers cryptonite
Daniel Firth's avatar
Daniel Firth committed
    data-default-class deepseq dependent-map dependent-sum
    dependent-sum-template deriving-aeson deriving-compat dlist dom-lt
    exceptions extra filepath flat free ghc-prim hashable hedgehog
    int-cast lazy-search lens megaparsec mmorph mono-traversable
    monoidal-containers mtl multiset nonempty-vector nothunks
    optparse-applicative parser-combinators prettyprinter
    prettyprinter-configurable primitive profunctors QuickCheck
    quickcheck-instances quickcheck-transformer ral recursion-schemes
    semigroupoids semigroups serialise size-based some Stream tagged
    tasty tasty-golden tasty-hedgehog tasty-hunit template-haskell text
    th-compat th-lift th-lift-instances th-utilities time transformers
Daniel Firth's avatar
Daniel Firth committed
    unordered-containers witherable
  ];
  executableHaskellDepends = [
Daniel Firth's avatar
Daniel Firth committed
    aeson base brick bytestring cardano-crypto-class cassava containers
    criterion criterion-measurement deepseq directory filepath
    haskeline hedgehog lens megaparsec microlens microlens-th
    mono-traversable mtl optparse-applicative prettyprinter QuickCheck
    quickcheck-instances random split text text-zipper time
    transformers vector vty
  ];
  testHaskellDepends = [
    aeson base bytestring cardano-crypto-class cassava containers
Daniel Firth's avatar
Daniel Firth committed
    data-default-class dlist filepath flat hashable hedgehog hex-text
    HUnit lens mmorph mtl nonempty-vector pretty-show prettyprinter
    QuickCheck quickcheck-instances serialise split tasty tasty-golden
    tasty-hedgehog tasty-hunit tasty-quickcheck template-haskell
    test-framework test-framework-hunit test-framework-quickcheck2 text
Daniel Firth's avatar
Daniel Firth committed
    th-lift-instances th-utilities unordered-containers vector
  ];
  benchmarkHaskellDepends = [
    base criterion nonempty-vector ral random
  enableLibraryProfiling = false;
  enableExecutableProfiling = false;
  doHaddock = false;
  jailbreak = true;
  doCheck = false;
  doBenchmark = false;
  hyperlinkSource = false;
  description = "Language library for Plutus Core";
  license = lib.licenses.asl20;
  broken = false;