parent
ab361e2b8e
commit
93e31f2a78
@ -0,0 +1,40 @@ |
||||
{ lib, buildDunePackage, fetchFromGitHub, lwt_ppx, ppx_cstruct, optint |
||||
, checkseum, diet, bitv, nocrypto, logs, lru, io-page, mirage-block }: |
||||
|
||||
buildDunePackage rec { |
||||
pname = "wodan"; |
||||
version = "unstable-2020-11-20"; |
||||
|
||||
useDune2 = true; |
||||
|
||||
src = fetchFromGitHub { |
||||
owner = "mirage"; |
||||
repo = pname; |
||||
rev = "cc08fe25888051c207f1009bcd2d39f8c514484f"; |
||||
sha256 = "0186vlhnl8wcz2hmpn327n9a0bibnypmjy3w4nxq3yyglh6vj1im"; |
||||
fetchSubmodules = true; |
||||
}; |
||||
|
||||
minimumOCamlVersion = "4.08"; |
||||
|
||||
propagatedBuildInputs = [ |
||||
lwt_ppx |
||||
ppx_cstruct |
||||
optint |
||||
checkseum |
||||
diet |
||||
bitv |
||||
nocrypto |
||||
logs |
||||
lru |
||||
io-page |
||||
mirage-block |
||||
]; |
||||
|
||||
meta = with lib; { |
||||
inherit (src.meta) homepage; |
||||
description = "A flash-friendly, safe and flexible filesystem library"; |
||||
license = licenses.isc; |
||||
maintainers = with maintainers; [ ehmry ]; |
||||
}; |
||||
} |
@ -0,0 +1,20 @@ |
||||
{ lib, buildDunePackage, io-page-unix, irmin-chunk, irmin-git, irmin-unix |
||||
, mirage-block-ramdisk, mirage-block-unix, wodan }: |
||||
|
||||
buildDunePackage rec { |
||||
pname = "wodan-irmin"; |
||||
inherit (wodan) version src useDune2; |
||||
|
||||
propagatedBuildInputs = [ |
||||
io-page-unix |
||||
irmin-chunk |
||||
irmin-git |
||||
irmin-unix |
||||
mirage-block-ramdisk |
||||
mirage-block-unix |
||||
wodan |
||||
]; |
||||
|
||||
meta = wodan.meta // { description = "Wodan as an Irmin store"; }; |
||||
|
||||
} |
@ -0,0 +1,27 @@ |
||||
{ lib, buildDunePackage, base64, benchmark, csv, cmdliner, wodan, afl-persistent |
||||
, io-page-unix, mirage-block-ramdisk, mirage-block-unix }: |
||||
|
||||
buildDunePackage rec { |
||||
outputs = [ "bin" "out" ]; |
||||
pname = "wodan-unix"; |
||||
inherit (wodan) version src useDune2; |
||||
|
||||
propagatedBuildInputs = [ |
||||
afl-persistent |
||||
base64 |
||||
benchmark |
||||
cmdliner |
||||
csv |
||||
io-page-unix |
||||
mirage-block-ramdisk |
||||
mirage-block-unix |
||||
wodan |
||||
]; |
||||
|
||||
postInstall = '' |
||||
moveToOutput bin "''${!outputBin}" |
||||
''; |
||||
|
||||
meta = wodan.meta // { description = "Wodan clients with Unix integration"; }; |
||||
|
||||
} |
Loading…
Reference in new issue