diff options
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/ocaml/3.10.0.nix')
-rw-r--r-- | nixpkgs/pkgs/development/compilers/ocaml/3.10.0.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixpkgs/pkgs/development/compilers/ocaml/3.10.0.nix b/nixpkgs/pkgs/development/compilers/ocaml/3.10.0.nix index 556aefd37049..a6d2bcd875e1 100644 --- a/nixpkgs/pkgs/development/compilers/ocaml/3.10.0.nix +++ b/nixpkgs/pkgs/development/compilers/ocaml/3.10.0.nix @@ -12,7 +12,7 @@ stdenv.mkDerivation (rec { prefixKey = "-prefix "; configureFlags = ["-no-tk" "-x11lib" xlibsWrapper]; - buildFlags = "world bootstrap world.opt"; + buildFlags = [ "world" "bootstrap" "world.opt" ]; buildInputs = [xlibsWrapper ncurses]; installTargets = "install installopt"; patchPhase = '' |