Skip to content
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.

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

ocamlPackages: init diet, irmin-chunk, mirage-block-combinators, mirage-block-ramdisk, mirage-block-unix, wodan #107667

Closed
wants to merge 2 commits into from

Conversation

ehmry
Copy link
Contributor

@ehmry ehmry commented Dec 26, 2020

Motivation for this change

I wanted to play around with the wodanc utility and hit some of the dependencies.

Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS linux)
  • Built on platform(s)
    • NixOS
    • macOS
    • other Linux distributions
  • Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • Tested compilation of all pkgs that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Determined the impact on package closure size (by running nix path-info -S before and after)
  • Ensured that relevant documentation is up to date
  • Fits CONTRIBUTING.md.

@ehmry ehmry added the 6.topic: exotic Exotic hardware or software platform label Dec 26, 2020
@ehmry ehmry requested a review from vbgl December 26, 2020 21:19
pkgs/development/ocaml-modules/diet/default.nix Outdated Show resolved Hide resolved
pkgs/development/ocaml-modules/diet/default.nix Outdated Show resolved Hide resolved
inherit (wodan) version src useDune2;

propagatedBuildInputs = [
irmin-chunk
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

io-page-unix might be missing here.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Builds anyway?

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@GrahamcOfBorg build ocamlPackages.wodan-irmin

@vbgl
Copy link
Contributor

vbgl commented Dec 30, 2020

Merged diet into master as 3d7d7b8, mirage-block-combinators as 30a2817, mirage-block-ramdisk as 13eede3, and mirage-block-unix as e816a60.

@vbgl
Copy link
Contributor

vbgl commented Dec 31, 2020

All commits but the last one have been merged (irmin-chunk is added by 9b2ddc9).

Unfortunately, wodan-irmin won’t build:

Error: Library "io-page-unix" not found.

@@ -15,7 +15,8 @@ buildDunePackage rec {

minimumOCamlVersion = "4.06";

propagatedBuildInputs = [ cstruct-lwt logs mirage-block rresult uri ];
propagatedBuildInputs =
[ cstruct-lwt io-page-unix logs mirage-block rresult uri ];
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don’t understand this change: the mirage-block-unix library does not use io-page-unix in any way, does it?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Its listed as a dependency, but somehow not used during the checkPhase: https://opam.ocaml.org/packages/mirage-block-unix/

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Does this mean that there is a mistake in the page you’ve linked?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Well it is listed in the opam and dune metadata of mirage-block-unix.

@vbgl
Copy link
Contributor

vbgl commented Jan 22, 2021

Merged into master as 93e31f2

@vbgl vbgl closed this Jan 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants