diff options
Diffstat (limited to 'pkgs/development/compilers/ocaml/4.04.nix')
-rw-r--r-- | pkgs/development/compilers/ocaml/4.04.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/compilers/ocaml/4.04.nix b/pkgs/development/compilers/ocaml/4.04.nix index 7e35c9e1aa80..1ded1aed2325 100644 --- a/pkgs/development/compilers/ocaml/4.04.nix +++ b/pkgs/development/compilers/ocaml/4.04.nix @@ -3,4 +3,7 @@ import ./generic.nix { minor_version = "04"; patch_version = "0"; sha256 = "1d2nk3kq4dyzz8dls45r13jprq5by3q8kshc8kvxzm8n4fnnvvb4"; + + # If the executable is stipped it does not work + dontStrip = true; } |