ocamlPackages.wodan: remove broken (at 2020-11-20)

This commit is contained in:
Vincent Laporte 2023-01-01 20:58:38 +01:00 committed by Emery Hemingway
parent fdee2bc6c8
commit 94f852b9e6
4 changed files with 0 additions and 103 deletions

View file

@ -1,41 +0,0 @@
{ lib, buildDunePackage, fetchFromGitHub, lwt_ppx, ppx_cstruct, optint
, checkseum, diet, bitv, 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; {
broken = true; # nocrypto is no longer available in nixpkgs
inherit (src.meta) homepage;
description = "A flash-friendly, safe and flexible filesystem library";
license = licenses.isc;
maintainers = with maintainers; [ ehmry ];
};
}

View file

@ -1,25 +0,0 @@
{ lib, buildDunePackage, irmin-chunk, irmin-git
, mirage-block-ramdisk, mirage-block-unix, wodan }:
buildDunePackage rec {
pname = "wodan-irmin";
inherit (wodan) version src useDune2;
propagatedBuildInputs = [
/* io-page-unix */ # No longer available in nixpkgs
irmin-chunk
irmin-git
mirage-block-ramdisk
mirage-block-unix
wodan
];
meta = wodan.meta // {
# wodan is currently incompatible with irmin 2.3.0.
# additionally upgrading to current master (unclear
# if the issue is fixed there) is not possible as it
# depends on a custom fork of mirage-block
broken = true;
description = "Wodan as an Irmin store";
};
}

View file

@ -1,31 +0,0 @@
{ lib, buildDunePackage, base64, benchmark, csv, cmdliner, wodan, afl-persistent
, 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 // {
broken = true; # io-page-unix is no longer available
description = "Wodan clients with Unix integration";
mainProgram = "wodanc";
};
}

View file

@ -1517,12 +1517,6 @@ let
webmachine = callPackage ../development/ocaml-modules/webmachine { };
wodan = callPackage ../development/ocaml-modules/wodan { };
wodan-irmin = callPackage ../development/ocaml-modules/wodan/irmin.nix { };
wodan-unix = callPackage ../development/ocaml-modules/wodan/unix.nix { };
wtf8 = callPackage ../development/ocaml-modules/wtf8 { };
x509 = callPackage ../development/ocaml-modules/x509 { };