diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-06-02 14:55:23 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-06-06 07:14:28 +0000 |
commit | 10d70a2ae3e20ae8e578212b4cc92b453445d8ca (patch) | |
tree | f9ee36ebba1f7c814677ab09c2df23c81bd3e39b /pkgs/development/ocaml-modules/lambda-term | |
parent | 98e8e95136d3e89fd46c03899aebef10d7e55ee1 (diff) |
ocamlPackages.lambda-term: fix installPhase
Diffstat (limited to 'pkgs/development/ocaml-modules/lambda-term')
-rw-r--r-- | pkgs/development/ocaml-modules/lambda-term/default.nix | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/pkgs/development/ocaml-modules/lambda-term/default.nix b/pkgs/development/ocaml-modules/lambda-term/default.nix index 769b80ecddce8..fdd30d28ed89d 100644 --- a/pkgs/development/ocaml-modules/lambda-term/default.nix +++ b/pkgs/development/ocaml-modules/lambda-term/default.nix @@ -17,10 +17,7 @@ buildOcaml rec { buildPhase = "jbuilder build -p lambda-term"; - installPhase = '' - ${jbuilder.installPhase} - mv $out/lib/ocaml/${ocaml.version}/site-lib/{stubslibs,lambda-term}/dlllambda_term_stubs.so - ''; + inherit (jbuilder) installPhase; hasSharedObjects = true; |