treewide: replace make/build/configure/patchFlags with nix lists

2019-12-30 12:58:11 +01:00
parent 08d5fc3934
commit 133103d709
248 changed files with 336 additions and 335 deletions
@@ -25,12 +25,12 @@ stdenv.mkDerivation rec {
    patchShebangs src/tools
    patchShebangs bin
  '';
-  buildFlags = "-C src/ocaml-output";
+  buildFlags = [ "-C" "src/ocaml-output" ];

  preInstall = ''
    mkdir -p $out/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib/fstarlib
  '';
-  installFlags = "-C src/ocaml-output";
+  installFlags = [ "-C" "src/ocaml-output" ];
  postInstall = ''
    wrapProgram $out/bin/fstar.exe --prefix PATH ":" "${z3}/bin"
  '';