aboutsummaryrefslogtreecommitdiff
path: root/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/apron/default.nix
diff options
context:
space:
mode:
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.nix17
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;