diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/mlgmp/default.nix')
| -rw-r--r-- | pkgs/development/ocaml-modules/mlgmp/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/ocaml-modules/mlgmp/default.nix b/pkgs/development/ocaml-modules/mlgmp/default.nix index d2aeb1a37b8a..ffd78150689a 100644 --- a/pkgs/development/ocaml-modules/mlgmp/default.nix +++ b/pkgs/development/ocaml-modules/mlgmp/default.nix @@ -16,7 +16,7 @@ stdenv.mkDerivation rec { sha256 = "3ce1a53fa452ff5a9ba618864d3bc46ef32190b57202d1e996ca7df837ad4f24"; }; - makeFlags = [ + makeFlags = [ "DESTDIR=$(out)/lib/ocaml/${ocaml.version}/site-lib/gmp" ]; |