summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/cmdliner
diff options
context:
space:
mode:
authorVincent Laporte <Vincent.Laporte@gmail.com>2018-06-02 14:55:47 +0000
committerVincent Laporte <Vincent.Laporte@gmail.com>2018-06-06 07:14:29 +0000
commita4fa4c45cc7f0d2057729f0103a1600de32d642d (patch)
tree1b066d574ef4768f304f78f057fe2f0f515bf06e /pkgs/development/ocaml-modules/cmdliner
parent10d70a2ae3e20ae8e578212b4cc92b453445d8ca (diff)
downloadnixpkgs-a4fa4c45cc7f0d2057729f0103a1600de32d642d.tar
nixpkgs-a4fa4c45cc7f0d2057729f0103a1600de32d642d.tar.gz
nixpkgs-a4fa4c45cc7f0d2057729f0103a1600de32d642d.tar.bz2
nixpkgs-a4fa4c45cc7f0d2057729f0103a1600de32d642d.tar.lz
nixpkgs-a4fa4c45cc7f0d2057729f0103a1600de32d642d.tar.xz
nixpkgs-a4fa4c45cc7f0d2057729f0103a1600de32d642d.tar.zst
nixpkgs-a4fa4c45cc7f0d2057729f0103a1600de32d642d.zip
ocamlPackages.cmdliner_0_9: use opaline
Diffstat (limited to 'pkgs/development/ocaml-modules/cmdliner')
-rw-r--r--pkgs/development/ocaml-modules/cmdliner/0.9.nix11
1 files changed, 3 insertions, 8 deletions
diff --git a/pkgs/development/ocaml-modules/cmdliner/0.9.nix b/pkgs/development/ocaml-modules/cmdliner/0.9.nix
index e8824f31807..345d56d2170 100644
--- a/pkgs/development/ocaml-modules/cmdliner/0.9.nix
+++ b/pkgs/development/ocaml-modules/cmdliner/0.9.nix
@@ -1,4 +1,4 @@
-{ stdenv, fetchurl, ocaml, findlib, ocamlbuild, opam }:
+{ stdenv, fetchurl, ocaml, findlib, ocamlbuild, opaline }:
 
 let
   pname = "cmdliner";
@@ -17,17 +17,12 @@ stdenv.mkDerivation rec {
   };
 
   unpackCmd = "tar xjf $src";
-  nativeBuildInputs = [ ocamlbuild opam ];
+  nativeBuildInputs = [ ocamlbuild opaline ];
   buildInputs = [ ocaml findlib ];
 
-  createFindlibDestdir = true;
-
   configurePhase = "ocaml pkg/git.ml";
   buildPhase     = "ocaml pkg/build.ml native=true native-dynlink=true";
-  installPhase   = ''
-    opam-installer --script --prefix=$out | sh
-    ln -s $out/lib/${pname} $out/lib/ocaml/${ocaml.version}/site-lib/
-  '';
+  installPhase   = "opaline -libdir $OCAMLFIND_DESTDIR";
 
   meta = with stdenv.lib; {
     homepage = http://erratique.ch/software/cmdliner;