Skip to content
Snippets Groups Projects
Commit a14d541b authored by Max Tomago's avatar Max Tomago
Browse files

vector-map: init at bc859395040abf075f4ca44b4ce8c221d2c4bb66 from github:milloni

parent 9c4774dd
No related merge requests found
......@@ -202,6 +202,11 @@ in [ callHackage "PyF" "0.11.0.0"
"https://github.com/parsonsmatt/typerep-map"
(Some "75b7cd5d45986be07420a6821d352ad2adc0b697")
(None Text)
, callCabal2nix
"vector-map"
"https://github.com/milloni/cardano-ledger"
(Some "bc859395040abf075f4ca44b4ce8c221d2c4bb66")
(Some "libs/vector-map")
, callCabal2nix
"word-array"
"https://github.com/milloni/plutus"
......
......@@ -89,6 +89,8 @@ final: prev: with pkgs.haskell.lib; {
typerep-map = prev.callPackage (./pkgs/typerep-map.nix) { };
vector-map = prev.callPackage (./pkgs/vector-map.nix) { };
word-array = prev.callPackage (./pkgs/word-array.nix) { };
}
{ mkDerivation
, base
, cardano-binary
, containers
, criterion
, deepseq
, fetchgit
, lib
, nothunks
, primitive
, QuickCheck
, quickcheck-classes-base
, random
, tasty
, tasty-quickcheck
, vector
, vector-algorithms
}:
mkDerivation {
pname = "vector-map";
version = "0.1.0.0";
src = fetchgit {
url = "https://github.com/milloni/cardano-ledger";
sha256 = "109piw0q5nlypsywkmkwng4ixalbfmzf379b4n931ghih54xzwja";
rev = "bc859395040abf075f4ca44b4ce8c221d2c4bb66";
fetchSubmodules = true;
};
postUnpack = "sourceRoot+=/libs/vector-map/; echo source root reset to $sourceRoot";
libraryHaskellDepends = [
base
cardano-binary
containers
deepseq
nothunks
primitive
vector
vector-algorithms
];
testHaskellDepends = [
base
containers
QuickCheck
quickcheck-classes-base
tasty
tasty-quickcheck
];
benchmarkHaskellDepends = [ base containers criterion random ];
doHaddock = false;
jailbreak = true;
doCheck = false;
hyperlinkSource = false;
homepage = "https://github.com/input-output-hk/cardano-ledger";
description = "An efficient VMap that is backed by two vectors: one for keys and another for values";
license = lib.licenses.asl20;
}
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment