diff options
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/apron/default.nix')
-rw-r--r-- | infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/apron/default.nix | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/apron/default.nix b/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/apron/default.nix index 0da1ab74e199..79c4d8a50024 100644 --- a/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/apron/default.nix +++ b/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/apron/default.nix @@ -13,8 +13,21 @@ stdenv.mkDerivation rec { buildInputs = [ perl gmp mpfr ppl ocaml findlib camlidl ]; propagatedBuildInputs = [ mlgmpidl ]; - prefixKey = "-prefix "; - preBuild = "mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib/stublibs"; + outputs = [ "out" "bin" "dev" ]; + + configurePhase = '' + runHook preConfigure + ./configure -prefix $out + mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib/stublibs + runHook postConfigure + ''; + + postInstall = '' + mkdir -p $dev/lib + mv $out/lib/ocaml $dev/lib/ + mkdir -p $bin + mv $out/bin $bin/ + ''; meta = { license = stdenv.lib.licenses.lgpl21; |