diff options
author | Merijn Broeren <merijnb@iloquent.com> | 2019-10-27 13:03:25 +0000 |
---|---|---|
committer | Jan Tojnar <jtojnar@gmail.com> | 2019-12-30 12:58:11 +0100 |
commit | 133103d7094c148bdc9152562b16c8872c44f345 (patch) | |
tree | 2ccef8bd86eff2104561da4eccdd41dd6776950b /pkgs/development/compilers/fstar | |
parent | 08d5fc393457121b531417ee6c922e3ebee0187c (diff) | |
download | nixlib-133103d7094c148bdc9152562b16c8872c44f345.tar nixlib-133103d7094c148bdc9152562b16c8872c44f345.tar.gz nixlib-133103d7094c148bdc9152562b16c8872c44f345.tar.bz2 nixlib-133103d7094c148bdc9152562b16c8872c44f345.tar.lz nixlib-133103d7094c148bdc9152562b16c8872c44f345.tar.xz nixlib-133103d7094c148bdc9152562b16c8872c44f345.tar.zst nixlib-133103d7094c148bdc9152562b16c8872c44f345.zip |
treewide: replace make/build/configure/patchFlags with nix lists
Diffstat (limited to 'pkgs/development/compilers/fstar')
-rw-r--r-- | pkgs/development/compilers/fstar/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix index 9306eec817f9..533140631a54 100644 --- a/pkgs/development/compilers/fstar/default.nix +++ b/pkgs/development/compilers/fstar/default.nix @@ -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" ''; |