diff options
author | John Ericson <git@JohnEricson.me> | 2020-12-29 23:14:38 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-29 23:14:38 -0500 |
commit | cc523b938f0f2494aac08e00081729cede12aa74 (patch) | |
tree | 9a39cade80cda3c92ae6565f553a745ce8dc3d2e /pkgs/development/ocaml-modules | |
parent | 78c4e34f69c445193def026e1f010c18c562be26 (diff) | |
parent | bca81534f0543e3ca7902234ad2b6c7c57a53136 (diff) | |
download | nixlib-cc523b938f0f2494aac08e00081729cede12aa74.tar nixlib-cc523b938f0f2494aac08e00081729cede12aa74.tar.gz nixlib-cc523b938f0f2494aac08e00081729cede12aa74.tar.bz2 nixlib-cc523b938f0f2494aac08e00081729cede12aa74.tar.lz nixlib-cc523b938f0f2494aac08e00081729cede12aa74.tar.xz nixlib-cc523b938f0f2494aac08e00081729cede12aa74.tar.zst nixlib-cc523b938f0f2494aac08e00081729cede12aa74.zip |
Merge pull request #107914 from sternenseemann/ocaml-mirage-fix
ocamlPackages.mirage: fix build by adding missing deps
Diffstat (limited to 'pkgs/development/ocaml-modules')
-rw-r--r-- | pkgs/development/ocaml-modules/mirage/default.nix | 27 |
1 files changed, 18 insertions, 9 deletions
diff --git a/pkgs/development/ocaml-modules/mirage/default.nix b/pkgs/development/ocaml-modules/mirage/default.nix index 9a4d3f21cb87..5160734e4f89 100644 --- a/pkgs/development/ocaml-modules/mirage/default.nix +++ b/pkgs/development/ocaml-modules/mirage/default.nix @@ -1,25 +1,34 @@ -{ lib, buildDunePackage, ocaml -, functoria, mirage-runtime +{ lib, buildDunePackage, alcotest +, functoria, mirage-runtime, bos +, ipaddr, astring, logs, stdlib-shims }: buildDunePackage rec { pname = "mirage"; inherit (mirage-runtime) version src; + minimumOCamlVersion = "4.08"; + useDune2 = true; outputs = [ "out" "dev" ]; - propagatedBuildInputs = [ functoria mirage-runtime ]; + propagatedBuildInputs = [ + ipaddr + functoria + mirage-runtime + bos + astring + logs + stdlib-shims + ]; - installPhase = '' - runHook preInstall - dune install --prefix=$out --libdir=$dev/lib/ocaml/${ocaml.version}/site-lib/ ${pname} - runHook postInstall - ''; + doCheck = true; + checkInputs = [ + alcotest + ]; meta = mirage-runtime.meta // { description = "The MirageOS library operating system"; }; - } |