diff options
author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2020-12-30 16:08:40 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-12-30 17:52:00 +0100 |
commit | caf07b0ebf5ddad6b9be0a1295e9c032379558d9 (patch) | |
tree | 5ce877aa30812630d84c1441a7b59683325539d7 /pkgs/development/ocaml-modules | |
parent | 6c71f432bde0220d3c4d2b5c375753398a1a1106 (diff) | |
download | nixlib-caf07b0ebf5ddad6b9be0a1295e9c032379558d9.tar nixlib-caf07b0ebf5ddad6b9be0a1295e9c032379558d9.tar.gz nixlib-caf07b0ebf5ddad6b9be0a1295e9c032379558d9.tar.bz2 nixlib-caf07b0ebf5ddad6b9be0a1295e9c032379558d9.tar.lz nixlib-caf07b0ebf5ddad6b9be0a1295e9c032379558d9.tar.xz nixlib-caf07b0ebf5ddad6b9be0a1295e9c032379558d9.tar.zst nixlib-caf07b0ebf5ddad6b9be0a1295e9c032379558d9.zip |
ocamlPackages.mirage: reintroduce dev output
The changed dune install directive to install libraries to the dev output was removed by mistake.
Diffstat (limited to 'pkgs/development/ocaml-modules')
-rw-r--r-- | pkgs/development/ocaml-modules/mirage/default.nix | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/pkgs/development/ocaml-modules/mirage/default.nix b/pkgs/development/ocaml-modules/mirage/default.nix index 5160734e4f89..6b8bcb1fbe94 100644 --- a/pkgs/development/ocaml-modules/mirage/default.nix +++ b/pkgs/development/ocaml-modules/mirage/default.nix @@ -1,4 +1,4 @@ -{ lib, buildDunePackage, alcotest +{ lib, buildDunePackage, ocaml, alcotest , functoria, mirage-runtime, bos , ipaddr, astring, logs, stdlib-shims }: @@ -28,6 +28,12 @@ buildDunePackage rec { alcotest ]; + installPhase = '' + runHook preInstall + dune install --prefix=$out --libdir=$dev/lib/ocaml/${ocaml.version}/site-lib/ ${pname} + runHook postInstall + ''; + meta = mirage-runtime.meta // { description = "The MirageOS library operating system"; }; |